1. and , Notes on Polymorphic Programming, Department at Computational Science, University of St. Andrews, 1981.
2. The Mechanical Evaluation of Expressions
3. EULER
4. SASL Language Manual, Department of Computational Science, University of St. Andrews, CS/75/1, 1975.
5. The programming language pascal