1. The design of a real-time operating system for a minicomputers. Part 1
2. Processor Handbook, PDP 11/45, Digital Equipment Corporation, Maynard, Mass.
3. ‘Architectural features of System 250’, State of the Art Report on Operating Systems, Infotech Information Ltd., Maidenhead, 1972.
4. ‘Monitors—an operating system structuring concept’, Commun. ACM. Dept. of Computer Science, The Queen's University of Belfast, N. Ireland (1973).
5. A structured paging system