1. Software Engineering Techniques, NATO, Conference, Rome, 1969, p. 21.
2. ‘The correctness of two compilers for a LISP subset’, Computer Science Department Report CS240, Stanford University, 1971.
3. ‘Some validation tests for an ALGOL 60 compiler’, National Physical Laboratory Report NAC 33, 1973.
4. Naur, P. (Ed.), ‘Revised report on the algorithmic language ALGOL 60’, Computer J., 5, No. 4, 349 (1963).
5. and , ALGOL 60 Implementation, Academic Press, London, 1964.