1. Cricket Umpiring and Scoring, J. M. Dent, London, 1980.
2. A formal approach to undo operations in programming languages
3. User Recovery and Reversal in Interactive Systems
4. ‘Automated programmering: the programmer's assistant’, in and (eds), Integrated programming environments, McGraw- Hill, 1984.
5. INTERLISP Reference Manual, Xerox PARC, Palo Alto, California, December 1975.