Jared Davis has graciously supplied a listing of bibtex entries.
ACL2 input files (certifiable books) from the preceding workshops are available
from the links above. WARNING: The above links point to the original
versions of those books. In order to obtain up-to-date versions of those books
that will certify in the latest non-incremental version (2.9) of ACL2,
download a gzipped tar file to the
subdirectory of your ACL2 distribution, and then gunzip and extract it. On a
Unix/Linux system you can then certify all the books in Version 2.9 by standing in the
acl2-sources/ directory and issuing the command
make regression. Alternatively: visit the web
page for the latest incremental release" and download the release and
workshop books from that page.