Algorithmic Program Debugging. (1983)

by E Y Shapiro