Fault detection in digital circuits - Friedman, Arthur D. (Prentice-Hall, Inc, 1971)