The lazy lambda calculus, Research Topics in Functional Programming (1990)

by S Abramsky