Books and Papers about ACL2 and Its Applications

This page has been superseded; see the ACL2 documentation topic, PUBLICATIONS.

The original version of this page may be found here.