@book{981,
	author = {Devadas, Srinivas, Ghosh, Abhijit / Keutzer, Kurt},
	title = {Logic synthesis},
	address = {Mcgraw-Hill}
}