The call-by-need lambda calculus (1997)

by Zena M Ariola, Matthias Felleisen
Venue:Journal of Functional Programming