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