1. et al., Hermes: A Language for Distributed Computing. Series in Innovative Technology, Prentice-Hall, 1991.
2. A New Programming Methodology for Long-Lived Software Systems
3. and , ‘NIL: An integrated language and system for distributed programming’, in SIGPLAN ′83 Symposium on Programming Language Issues in Software Systems, June 1983.
4. and , The SR Programming Language: Concurrency in Practice, Benjamin/Cummings Publishing Co., 1993.
5. Department of Defense, ‘Reference manual for the Ada programming language’, Technical Report, ANSI/MIL-STD-1815A, Department of Defense, Washington, D. C., January 1983.