@book{30903,
	author = {Sasao, Tsutomu,},
	title = {Logic synthesis and optimization /},
	publisher = {Kluwer Academic Publishers,},
	year = {c1993.},
	address = {Boston :},
	url = {http://www.loc.gov/catdir/enhancements/fy0820/92035290-d.html}
}