Algorithmic Program Debugging (1982)

by E Shapiro