Books:

Robert Boyer (editor), Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic, Dordrecht, The Netherlands, 1991.

Robert Boyer and J S. Moore, A Computational Logic Handbook. Academic Press, New York, 1988.

Robert Boyer and J S. Moore (editors), The Correctness Problem in Computer Science. Academic Press, London, 1981.

Robert Boyer and J S. Moore, A Computational Logic. Academic Press, New York, 1979.

Hunt, Warren, FM8501: A Verified Microprocessor. LNAI Number 795, Springer-Verlag, 1994.

J Strother Moore (editor), Journal of Automated Reasoning, Special Issue on System Verification, Vol. 5 No. 4 1989.

http://dirleton.csres.utexas.edu/staff/publications/books.html

This page is URL http://www.computationallogic.com/staff/publications/books.html