Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
1
Popek, Gerald J. and Charles S. Kline, "Issues in Kernel Design," To Appear in the Proceedings of the 1978 NCC
2
Neumann, P. G., R. S. Boyer, R. J. Feiertag, K. N. Levitt, and L. Robinson, "A Provably Secure Operating System: The System, Its Applications and Proofs, <u>SRI Final Report</u>, Project 4332, 11 February 1977