1. A Discipline of Programming, Prentice Hall, Englewood Cliffs, 1976.
2. The Programming Language Pascal (Revised report), Eidg. Technische Hochschule, Zürich, 1972.
3. Interlisp Reference Manual, Xerox Palo Alto Research Center, Palo Alto, Calif., 1978.
4. ‘BASIS—an interactive system for the introductory courses in informatics’, IFIP Congress, Toronto, 1977.