@book{170016,
	author = {Hachtel, Gary D. and Somenzi, Fabio. and ebrary, Inc.},
	title = {Logic synthesis and verification algorithms},
	publisher = {Kluwer Academic,},
	year = {c2002, 1996.},
	address = {Boston :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10053328}
}