Computer logic, testing and verification - Roth, J. Paul (New York : IBM Thomas J. Watson research center, 1980)
Includes bibliographies and index
Keywords: Logic circuits; Logic design