Terry C. Vickers Benzel
The MITRE Corporation
Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military
IEEE Annals of the History of Computing