no. 12 (December 2005).
Martin Croxford and Roderick Chapman (Praxis High Integrity Systems), “The Challenge of Low Defect,
Secure Software: Too Difficult and Too Expensive?” DoD Software Tech News 8, no. 2 (July 2005).
209 Bertrand Meyer, “On Formalism in Specifications,” IEEE Software 2, no. 1 (January 1985): 6–26.