Diagnosis and Reliable Design of Digital Systems - Breuer, Melvin A.; Friedman, Arthur D. (London : Pitman, 1977)