Peter G. Neumann
SRI International EL-243, Menlo Park CA
Software aspects of strategic defense systems
Communications of the ACM