摘要
1 Bell，D.E.和LaPadula，L.J.《安全计算机系统：数学模型》，MTR-2547。 The Mitre Corporation，马萨诸塞州贝德福德，1973年5月。]] 谷歌学者 
2 Brinch Hansen，P.操作系统原理。 普伦蒂斯·霍尔公司，新泽西州恩格尔伍德克利夫斯，1973年。]] 谷歌学者 数字图书馆 
三 Dijkstra，E.W.“合作顺序过程”，《编程语言》，F.Genoys（编辑），学术出版社，纽约，1968年。]] 谷歌学者 4 Dijkstra，E.W.《结构化编程注释》，O.J.Dahl、E.W.Dijkstra和C.A.R.Hoare著。 纽约学术出版社，1972年。]] 谷歌学者 数字图书馆 5 Knuth，D.E.“计算机编程作为一门艺术”。 ACM通讯17、12（1974年12月），667-673。]] 谷歌学者 数字图书馆 6 Lipton，R.J.“关于同步原语系统”，卡内基梅隆大学博士论文，1971年 谷歌学者 数字图书馆 7 有机E.I.多功能系统：其结构的检查。 麻省理工学院出版社，1972年]] 谷歌学者 数字图书馆 8 Saltzer，J.H.多媒体信息共享的保护与控制。 ACM通信17，7（1974年7月），388-402] 谷歌学者 数字图书馆 9 Walter，K.G.等人，《计算机安全的原始模型》，ESD-TR-74-117。 1974年1月，马萨诸塞州贝德福德市L.G.Hanscom Field总部ESD/AFSC，指挥和管理系统代理编制。]] 谷歌学者 10 Walter，K.G.等人，《安全接口建模》，为马萨诸塞州贝德福德的H.Q.ESD/AFSC、L.G.Hanscom Field的指挥和管理系统代理编写。]] 谷歌学者 11 Walter，K.G.el al.《不可妥协的计算机系统的结构化规范》正在编写中。]] 谷歌学者
