Diagnosis and reliable design of digital systems - Breuer, Melvin A. (Pitman Publishing, 1977)