@book{16830,
	author = {HACHTEL AND SOMENZI and NO},
	title = {LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS},
	publisher = {SPRINGER},
	year = {2006},
	edition = {1}
}