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