Paul A. Karger; Mary Ellen Zurko; Douglass W. Bonin; Andrew H. Mason; Clifford E. Kahn (November 1991). "A Retrospective on the VAX VMM Security Kernel"(PDF). IEEE Transactions on Software Engineering. 17 (11): 1147–1165. doi:10.1109/32.106971. Archived from the original(PDF) on November 12, 2015. Retrieved May 2, 2014.
Ross, Douglas (January 9, 1986). "A personal view of the personal work station: Some firsts in the Fifties". Proceedings of the ACM Conference on the history of personal workstations. Association for Computing Machinery. pp. 19–48. doi:10.1145/12178.12180. ISBN0-89791-176-8.
Paul A. Karger; Mary Ellen Zurko; Douglass W. Bonin; Andrew H. Mason; Clifford E. Kahn (November 1991). "A Retrospective on the VAX VMM Security Kernel"(PDF). IEEE Transactions on Software Engineering. 17 (11): 1147–1165. doi:10.1109/32.106971. Archived from the original(PDF) on November 12, 2015. Retrieved May 2, 2014.
Quarterly Status Report - Report #1(PDF). Advance Computing Systems: An Advanced Reasoning-Based Paradigm for Ada Trusted Systems and its Application to MACH (Report). TRW - Federal Systems Group - Systems Division. March 15, 1989. AD-A206 308. Archived(PDF) from the original on June 2, 2021 – via Defense Technical Information Center (DTIC).
Thacker, Charles P.; Stewart, Lawrence C. (1987). Firefly: A Multiprocessor Workstation(PDF) (Technical report). Digital Equipment Corporation — Systems Research Center.
Paul A. Karger; Mary Ellen Zurko; Douglass W. Bonin; Andrew H. Mason; Clifford E. Kahn (November 1991). "A Retrospective on the VAX VMM Security Kernel"(PDF). IEEE Transactions on Software Engineering. 17 (11): 1147–1165. doi:10.1109/32.106971. Archived from the original(PDF) on November 12, 2015. Retrieved May 2, 2014.
Quarterly Status Report - Report #1(PDF). Advance Computing Systems: An Advanced Reasoning-Based Paradigm for Ada Trusted Systems and its Application to MACH (Report). TRW - Federal Systems Group - Systems Division. March 15, 1989. AD-A206 308. Archived(PDF) from the original on June 2, 2021 – via Defense Technical Information Center (DTIC).
Walker, Bruce; Popek, Gerald; English, Robert; Kline, Charles; Thiel, Greg. The LOCUS Distributed Operating System(PDF) (Technical report). University of California at Los Angeles.