Algorithmic debugging for lazy functional languages (1994)

by H Nilsson, P Fritzson
Venue:Journal of Functional Programming