Henrik Nilsson Jan Sparud The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. 121-150 1997 4 Autom. Softw. Eng. 2 db/journals/ase/ase4.html#NilssonS97