1. S. Abramsky. Abstract interpretation, logical relations and Kan extensions. Journal of Logic and Computation, 1 (1): 5 - 39, 1990.
2. A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
3. A. Bondorf. Improving binding times without explicit CPS-conversion. In Proceedings of the 1992 ACM Conference on LISP and Functional Programming, pages 1-10, San Fransisco, California, 22 - 24 June 1992.
4. G.L. Burn. The abstract interpretation of functional languages. In this volume.
5. G.L. Burn. Lazy Functional Languages: Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. Pitman in association with MIT Press, 1991. 238 pp.