The Lazy λ−Calculus
S. Abramsky
Book Title
Research Topics in Functional Programming
Editor
D. Turner
Pages
65−117
Publisher
Addison Wesley
Year
1990
S. Abramsky