**References**

- 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. - Chin-Liang Chang, Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, USA, 1973.
- 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. - Dill, David. Personal Interview. Irani, Lilly and Elita Cheung. 14 Sep. 1999.
- Dill, David. Powerpoint slides for talk given at POPL '99. "Formal Verification: Experiences and Future Prospects."
- Fetzer, James H. "Program
Verification: The Very Idea."
*Communications of the ACM*, Sept. 1988, Volume 31, Number 9, Page 1048. - Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, New York, USA, 1990.
- Matuszewski, Roman, ed. "The QED Workshop II held in Warsaw, July 20-22, 1995." Warsaw University: Dept. of Logic, 1995.
- 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.
- "The QED Manifesto." Automated Deduction- CADE 12. Springer Verlag, LNAI 814. pp. 238-251, 1994.
- "The Uncommon Dictionary- Electronics Glossary." http://www.maxmon.com