1. and , Software engineering of real-time operating systems, TR-88–01–01, Department of Computer Science, University of Washington, Seattle, WA, January 1988.
2. Real time systems = processes + abstract data types, TR-88–12–07, Department of Computer Science, University of Washington, Seattle, WA, 1988; also published in Proceedings of the EURO MICRO Workshop on Real-Time, IEEE Computer Society Press, June 1989, pp. 188–197.
3. Hints for computer system design
4. The Modular Structure of Complex Systems
5. Toward a discipline of real-time programming