233 Edsger W. Dijkstra (Burroughs Corporation), “Guarded Commands, Nondeterminacy and Formal
Derivation of Programs,” Communications of the ACM 18, no. 8 (August 1975): 453–457.
234 Harlan D. Mills, Software Productivity (New York, NY: Dorset House Publishing, 1988).
220 Software Security Assurance State-of-the-Art Report (SOAR)