Computer logic, testing and verification - Roth J P (Maryland Computer Science Press, 1980)
Keywords: Computer logic; Electrical engineering