@book{169552,
	author = {Bening, Lionel, and Foster, Harry, and ebrary, Inc.},
	title = {Principles of verifiable RTL design},
	publisher = {Kluwer Academic,},
	year = {c2002.},
	address = {New York :},
	edition = {2nd ed.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10053381}
}