@book{5122,
	author = {Hsu, John Y.},
	title = {Computer logic:}
}