"Graphical visualization of the evaluation of functional programs."

Ricardo Jiménez-Peris et al. (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics