@book{13394,
	author = {Roth, J.Paul. and Watson, T.J.},
	title = {Computer Logic, Testing and Verification /},
	publisher = {Financial Times Prentice Hall,},
	year = {1980.},
	address = {[S.l.] :},
	url = {http://www.amazon.com/exec/obidos/ASIN/0273084755/chopaconline-20}
}