1. Specification for the Computer programming language Pascal, ISO 7185, 1983.
2. and , ‘A Pascal processor validation suite.’ NPL Report CSU 7/80, March 1980, National Physical Laboratory, Teddington, Middlesex, UK.
3. and , ‘The Pascal Standard from an implementor’s viewpoint’, in and , Pascal Compiler Validation, Wiley, Chichester, 1983, Chapter 7.
4. (ed.), Abstract Software Specifications (1979 Copenhagen Winter School Proceedings), Lecture Notes in Computer Science 86, Springer Verlag, 1980.
5. and , ‘Compiler validation—a survey’, in and , Pascal Compiler Validation, Wiley, Chichester, 1983, Chapter 13.