High-Level Correctness of ACL2: A (1995)

by M Kaufmann, J S Moore
Venue:Story (DRAFT), URL ftp://ftp.cli.com/pub/acl2/v1-8/acl2sources /reports/story.txt