Debugging techniques in large systems - Rustin, Randall (Prentice-Hall, Inc., 1971)