1. Why Functional Programming Matters
2. and , Introduction to Functional Programming, Prentice Hall, New York, 1988.
3. The Implementation of Functional Programming Languages, Prentice Hall, Englewood Cliffs, New Jersey, 1987.
4. ‘Miranda: A non-strict functional language with polymorphic types,’ in (ed.), 2nd Functional Programming Languages and Computer Architecture, LNCS, 201, Nancy, France, September 1985, Springer-Verlag, Berlin, pp. 1–16.
5. Miranda System Manual, Research Software Ltd, 23 St Augustines Road, Canterbury, Kent CT1 1XP, UK, April 1990.