The lazy λ-calculus (1990)

by S Abramsky
Venue:In Research topics in Functional Programming