Lee Naish Declarative Debugging of Lazy Functional Programs. 29-34 1992 LPE db/conf/lpe/lpe92.html#Naish92