1. Z.M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. The call-by-need lambda calculus. In 22'nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Francisco, California, 1995. ACM Press.
2. G.L. Burn. Lazy Functional Languages: Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. Pitman in association with MIT Press, 1991.
3. M.J.C. Gordon. Models of pure LISP (a worked example in semantics). Experimental Programming Reports 31, Department of Machine Intelligence, University of Edinburgh, 1973.
4. S.P. Jones and P. Wadler. Imperative functional programming. In 20'th Symposium on Principles of Programming Languages, Charlotte, North Carolina, 1993. ACM Press.
5. J. Launchbury. A natural semantics for lazy evaluation. In Twentieth ACM Symposium on Principles of Programming Languages, Charleston, South Carolina, pages 144–154. ACM, 1993.