1. K. Albin. Validating the ACL2 CAP Model. CAP Technical Report 9, Computational Logic, Inc., 1717 W. 6th, Austin, TX 78703 March, 1995.
2. R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press: NewYork, 1979.
3. R. S. Boyer and J S. Moore. A Computational Logic Handbook, Academic Press: New York, 1988.
4. R. S. Boyer and Y. Yu. Automated Proofs of Object Code for a Widely Used Microprocessor, JACM, 43(1) January, 1996, pp. 166–192.
5. B. Brock. The CAP 94 Specification, CAP Technical Report 8, Computational Logic, Inc., 1717 W. 6th, Austin, TX 78703, July, 1995.