@book{3974,
	author = {Sasao, Tsutomu,},
	title = {Switching theory for logic synthesis /},
	publisher = {Kluwer Academic Publishers,},
	year = {c1999.},
	address = {Boston, Mass. :},
	url = {http://www.loc.gov/catdir/enhancements/fy0820/99011572-d.html}
}