An Algorithmic and Semantic Approach to Debugging (1990)

by C Hall, K Hammond, J O'Donnell
Venue:Functional Programming (Glasgow 1990), Workshops in Computing