π-RED + : An interactive compiling graph reduction system for an applied λ-calculus (1996)

by D Gärtner, W Kluge
Venue:Journal of Functional Programming