P.: The call-by-need lambda calculus (1998)

by J Maraist, M Odersky, Wadler
Venue:Journal of Functional Programming