Stephen K. Skedzielewski Robert Kim Yates R. R. Oldehoeft DI: an interactive debugging interpreter for applicative languages. 102-112 1987 conf/pldi/1987 PLDI http://doi.acm.org/10.1145/29650.29661 db/conf/pldi/pldi1987.html#SkedzielewskiYO87