The evaluation dependence tree as a basis for lazy functional debugging (1997)

by H Nilsson, J Sparud
Venue:Automated Software Engineering