Debugging techniques in large systems - Rustin, Randall (1971)