1. AFCEA. SDI Battle Management/Command, Control, and Communications Technology Study. Technical report, AFCEA, October 1987.
2. R. Clark, D. Wells, and I. Greenberg. Secure Alpha: Software requirements specification for a class B3 multilevel secure real-time distributed operating system. SRI International, Menlo Park, CA, August 1992.
3. I. Greenberg, P. Boucher, R. Clark, D. Jensen, T. Lunt, P. Neumann, and D. Wells. The Secure Alpha study — Final summary report. Computer Science Laboratory, SRI International, Menlo Park, CA, March 1993.
4. I. Greenberg, T. F. Lunt, R. Clark, and D. Wells. Secure Alpha: Security policy and policy interpretation for a class B3 multilevel secure real-time distributed operating system. Computer Science Laboratory, SRI International, Menlo Park, CA, April 1992.
5. E. D. Jensen. Asynchronous decentralized realtime computer systems. In Proceedings of the NATO Advanced Study Institute on Real-Time Computing, Saint Martin, October 1992.