@book{53237,
	author = {Roth, John Paul.},
	title = {Computer logic, testing and verification},
	publisher = {Computer Science,},
	year = {1980},
	series = {Digital system desing series},
	address = {Potomac, Md. :}
}