1. R.S. Boyer and J.S. Moore. Proof-Checking, Theorem-Proving, and Program Verification. In Contemporary Mathematics, Automated Theorem Proving: After 25 Years, American Mathematical Society, Providence, Rhode Island, 1984, pp. 119-132.
  2. Chin-Liang Chang, Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, USA, 1973.
  3. Richard A. De Millo, Richard J. Lipton and Alan J. Perlis, Social Processes and Proofs of Theorems and Programs, Communications of the ACM, May 1979, Volume 22, Number 5, Page 271.
  4. Dill, David. Personal Interview. Irani, Lilly and Elita Cheung. 14 Sep. 1999.
  5. Dill, David. Powerpoint slides for talk given at POPL '99. "Formal Verification: Experiences and Future Prospects."
  6. Fetzer, James H. "Program Verification: The Very Idea." Communications of the ACM, Sept. 1988, Volume 31, Number 9, Page 1048.
  7. Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, New York, USA, 1990.
  8. Matuszewski, Roman, ed. "The QED Workshop II held in Warsaw, July 20-22, 1995." Warsaw University: Dept. of Logic, 1995.
  9. O'Leary, John, Xudong Zhao, Rob Gerth, Carl-Johan Seger. "Formally Verifying IEEE Compliance of Floating Point Hardware." Strategic CAD Labs, Intel Corp. Hillsboro, OR.
  10. "The QED Manifesto." Automated Deduction- CADE 12. Springer Verlag, LNAI 814. pp. 238-251, 1994.
  11. "The Uncommon Dictionary- Electronics Glossary."