1. L. Augustsson. Compiling Lazy Functional Languages, Part II. PhD thesis, Chalmers Tekniska Högskola, Göteborg, Sweden, 1987.
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. 238pp.
3. R. Bird and P. Wadler. Introduction to Functional Programming. Prentice Hall, 1988.
4. S.O. Finne and G.L. Burn. Assessing the evaluation transformer model of reduction on the Spineless G-Machine. In Proceedings of the Conference on Functional Programming and Computer Architecture. ACM, June 1993.
5. C.V. Hall. An optimist’s view of life: Transforming list expressions. Technical report, Department of Computer Science, University of Glasgow, 1992.