@book{70018,
	author = {SASAO},
	title = {SWITCHING THEORY FOR LOGIC SYNTHESIS},
	publisher = {SPRINGER},
	year = {2011},
	edition = {1}
}