Tracing lazy functional computations using redex trails (1997)

by Jan Sparud, Colin Runciman
Venue:In Proc. 9th Intl. Symposium on Programming Languages: Implementations, Logics, and Programs (PLILP’97