The lazy -calculus (1990)

by S Abramsky
Venue:Research Topics in Functional Programming, chapter 4