Fault detection in digital circuits - Friedman A. D., Menon P. R. (Prentice-Hall, 1971)