This page has been superseded; see the ACL2 documentation topic, PUBLICATIONS.
The original version of this page may be found here.