"Tracing Lazy Functional Computations Using Redex Trails."

Jan Sparud, Colin Runciman (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics