1. Ackermann's function: A study in the efficiency of calling procedures
2. , and , ‘The system implementation language LIS’, Technical Report 4549 E1/EN CII, Louveciennes, 1976.
3. Imperial Chemical Industries, RTL/2 Language Specification, 1974.
4. ALGOL 60 Compilation and Assessment, Academic Press, London, 1973.
5. The IMP language and compiler