@book{20581,
	author = {Chen, Wai-Kai},
	title = {Design automation, languages, and simulations /},
	publisher = {CRC Press,},
	year = { 2003},
	address = {Boca Raton, FL:}
}