Diagnosis and reliable design of digital systems - Breuer, Melvin A. (Digital System Design Series / Pitman Publishing., 1977)