COMPUTER LOGIC, TESTING AND VERIFICATION - Roth, J. Paul (Maryland Computer Science Press, 1980)
Keywords: Logic Circuits -- Logic Design