A Precise Description (1997)

by M Kaufmann, J S Moore
Venue:of the ACL2 Logic. See URL http://www.cs.utexas.edu/users/moore/publications/km97.ps.gz