Debugging techniques in large systems : courant computer science symposium 1 : june 29 - july 1, 1970. - Rustin, Randall (Prentice-Hall, Inc, 1971)