Jan Sparud Henrik Nilsson The Architecture of a Debugger for Lazy Functional Languages. 19-34 1995 AADEBUG db/conf/aadebug/aadebug95.html#SparudN95