Diagnosis & reliable design of digital systems - Breuer, Melvin A. (Computer Science Press, 1976)