1. On layout, identifiers and semicolons in Pascal programs
2. A basis for executing PASCAL programmers
3. ‘Documentation of program indent: a model for the complete documentation of computer programs’, unpublished class notes, Department of Computer Science, University of Melbourne, Parkville 3052, Australia, (1980).