@book{11090,
	author = {SRINIVAS DEVADAS AND ETC},
	title = {LOGIC SYNTHESIS},
	publisher = {MCGRAW-HILL},
	year = {1994},
	edition = {1},
	note = {404}
}