1. Brna, P., Bundy, A., Pain, H. and Lynch, L. (1987). Programming tools for Prolog environments. In J. Halla, and C. Mellish (Eds.), Advances in Artificial Intelligence, pp. 251?26. Society for the Study of Artificial Intelligence and Simulation of Behaviour. Chichester: John Wiley and Sons. Previously, Research Paper No 302, Department of Artificial Intellignece, University of Edinburgh.
2. Grosse, G. (1989). Towards a recursive techniques editor. Unpublished MSc thesis, Dept of Computer Science, Heriot-Watt University.
3. Huet, G. and Oppen, D. C. (1980). Equations and rewrite rules: a survey. In R. Book (Ed.), Formal languages: perspectives and open problems. New York: Academic Press. Presented at the conference on formal language theory, Santa Barbara, 1979. Available from SRI International as Technical Report CSL-lll.
4. Kahney, H. (1982). An in-depth study of the cognitive bchaviour of novice programmers. Unpublished PhD thesis. Human Cognition Research Laboratory, The Open University, Milton Keynes.
5. Péter, R. (1967). Recursive functions. New York: Academic Press. Translated by Istvan Foeldes.