Computer logic, testing and verification - Roth, John Paul (Digital system design series, 1980)