Debugging in applicative languages (1988)

by J T O’Donnell, C V Hall
Venue:Lisp and Symbolic Computation