1. Compiling with continuations;Appel,1992
2. A. Bakewell. An Operational Theory of Relative Space Efficiency. PhD thesis, Department of Computer Science, University of York, December 2001. http://www.cs.york.ac.uk/ftpdir/reports/YCST-2002-08.ps.Z
3. A space semantics for core Haskell;Bakewell;Electronic Notes in Theoretical Computer Science,2001
4. Termination of rewriting;Dershowitz;Journal of Symbolic Computation,1987
5. J. Gustavsson. Space-Safe Transformations and Usage Analysis for Call-by-Need Languages. PhD thesis, Department of Computing Science, Chalmers University of Technology, Göteborg, 2001