@book{1302,
	author = {Umamageswaran, Kothanda and Pandey, Sheetanshu L},
	title = {Formal semantics and proof techniques for optimizing VHDL models},
	publisher = {Kluwer Academic Publishers},
	year = {1999},
	address = {Boston}
}