1. Abbott R. P. et. al. (1976) Security Analysis and Enhancements of Computer Operating Systems Lawrence Livermore Laboratory TR NBSIR-76-1041 April.]] Abbott R. P. et. al. (1976) Security Analysis and Enhancements of Computer Operating Systems Lawrence Livermore Laboratory TR NBSIR-76-1041 April.]]
2. ACM
(1975a) Proc. of the ACM SIGCOMM/SIGOPS Interprocess Communication Workshop March (Operating Systems Review July).]] ACM (1975a) Proc. of the ACM SIGCOMM/SIGOPS Interprocess Communication Workshop March (Operating Systems Review July).]]
3. ACM
(1975b) Proc. of the International Conference on Reliable Software April (Also in Special Issue on Reliable Software- IEEE Trans. on Software Eng. June).]] ACM (1975b) Proc. of the International Conference on Reliable Software April (Also in Special Issue on Reliable Software- IEEE Trans. on Software Eng. June).]]
4. ACM
(1975c) Proc. of the International Symposium on Proving and Improving Programs July.]] ACM (1975c) Proc. of the International Symposium on Proving and Improving Programs July.]]
5. ACM
(1976) Special Issue - Reliable Software II : Fault-Tolerant Software Computing Surveys December.]] ACM (1976) Special Issue - Reliable Software II : Fault-Tolerant Software Computing Surveys December.]]