1. “The Protection of Information in Computer Systems”, Jerome Saltzer and Michael Schroeder, Proceedings of the IEEE, Vol.63,No.9 (September 1975), p.1278.
2. “Object-Oriented Software Construction, Second Edition”, Bertrand Meyer, Prentice Hall, 1997.
3. “Assertion Definition Language (ADL) 2.0”, X/Open Group, November 1998.
4. “Security in Computing”, Charles Pfleeger, Prentice-Hall, 1989.
5. “Why does Trusted Computing Cost so Much”, Susan Heath, Phillip Swanson, and Daniel Gambel, Proceedings of the 14thNational Computer Security Conference, October 1991, p.644. Republished in the Proceedings of the 4thAnnual Canadian Computer Security Symposium, May 1992, p.71.