Fault detection in digital circuits - Friedman, Arthur D. (Computer applications in electrical engineering series, 1971)