1. A specification schema for indenting programs
2. and , Fundamentals of Computer Algorithms, Pitman and Computer Science Press, 1978.
3. ‘Documentation of a program indent: a model for the complete documentation of computer programs’, Technical Report (forthcoming), Department of Computer Science, University of Melbourne, Australia, 1980.
4. and , Structured Programming: Theory and Practice, Addison-Wesley, Reading, Massachusetts, 1979.
5. Mathematical Theory of Computation, McGraw-Hill, New York, 1974.