1. ‘The design and implementation of programming languages’, D. Phil, thesis, Oxford University, July 1983. Programming Research Group, Technical Monograph PRG-40.
2. ‘The implementation of functional languages using custom hardware’, Ph.D. Thesis, Cambridge University, December 1985. Computing Laboratory, Technical Report 81.
3. Implementing Functional Languages using Graph Reduction, Prentice-Hall, 1987 (to appear).
4. ‘A proposal concerning the dragging problem’, Burroughs ARC internal report, October 1985.
5. Private communication.