1. {1} Hardy N. "KeyKOS Architecture " Operating Systems Review Association for Computing Machinery September 1985. (Also available in an modified version as publication KL068 from Key Logic.) 10.1145/858336.858337 {1} Hardy N. "KeyKOS Architecture " Operating Systems Review Association for Computing Machinery September 1985. (Also available in an modified version as publication KL068 from Key Logic.) 10.1145/858336.858337
2. {3} U.S. patent number 4 584 639. {3} U.S. patent number 4 584 639.
3. {5} KeyKOS and Mutually Suspicious Users (KL108) 1987 Key Logic. {5} KeyKOS and Mutually Suspicious Users (KL108) 1987 Key Logic.