The lazy lambda calculus (1990)

by S Abramsky
Venue:Research Topics in Functional Programming, -Addison-Wesley