1. International Standards Organization, Specification for Computer Programming Language—Pascal, ISO/TC 97/SC 5 N462, ANSI, New York, 1979.
2. Some problems concerning the automatic translation of Fortran to Algol 68
3. On the Composition of Well-Structured Programs
4. B6700/B7700 Pascal Reference Manual, Report No. R79-5, Department of Information Science, University of Tasmania, 1979.
5. Flow diagrams, turing machines and languages with only two formation rules