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