Henrik Nilsson Peter Fritzson Algorithmic Debugging for Lazy Functional Languages. 337-369 1994 4 J. Funct. Program. 3 db/journals/jfp/jfp4.html#NilssonF94