1. Leveson, N.G.: Geust Editor’s Introduction: Formal Methods in Software Engineering. IEEE Transactions in Software Engineering, 929–931 (September 1990)
2. Wenzel, M.: Isabelle/Isar - A Versatile Environment for Human-Readable Formal Proof Documents. PhD thesis. Institute für Informatik, Technische Universität München (2002)
3. Bell, D.E., La Padula, L.J.: Secure Computer System: Unified Exposition and Multics Interpretation. MITRE Report, MTR-2997 Rev.1 (1976)
4. CSC-STD-001-83, Department of Defense Standard. Department of Defense Trusted Computer System Evaluation Criteria. National Computer Security Center, Ft. Meade, MD. USA (1985)
5. Waldhart, N.A.: The Army Secure Operating System. In: 1990 IEEE Symposium on Security and Privacy, pp. 50–60 (1990)