214 Anthony Hall and Roderick Chapman (Praxis High Integrity Systems), “Correctness by Construction:
Developing a Commercial Secure System,” IEEE Software (January–February 2002): 18–25.
215 Saltzer and Schroeder, The Protection of Information in Computer Systems.
216 Samuel T. Redwine, Jr., ed., Secure Software: a Guide to the Common Body of Knowledge to Produce,