1. Brock, B., Kaufmann, M., Moore, J: Ac12 theorems about commercial microprocessors. Formal Methods in Computer-Aided Design (FMCAD'96). (1996) 275–293.
2. Boyer, R., Moore, J: A Computational Logic. Academic Press. Orlando. (1979)
3. Boyer, R., Moore, J: A Computational Logic Handbook. Academic Press. San Diego. (1988)
4. Corman, T., Leiserson, C., Rivest, R.: Introduction to Algorithms, chapter 32. McGraw-Hill. New York. (1990)
5. Gamboa, R.: Defthms about zip and tie: Reasoning about powerlists in ACL2. Univ. of Texas Comp. Sci. Tech. Rep. TR97-02. (1997)