1. Chamarthi, H.R., Dillinger, P.C., Manolios, P., Vroon, D.: ACL2 Sedan homepage,
http://acl2s.ccs.neu.edu/
2. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP, pp. 268–279 (2000)
3. Dillinger, P.C., Manolios, P., Vroon, D., Strother Moore, J.: ACL2s: “The ACL2 Sedan”. Electr. Notes Theor. Comput. Sci. 174(2), 3–18 (2007)
4. Kaufmann, M., Manolios, P., Strother Moore, J. (eds.): Computer-Aided Reasoning: ACL2 Case Studies. Kluwer Academic Publishers, Dordrecht (2000)
5. Kaufmann, M., Manolios, P., Strother Moore, J.: Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, Dordrecht (2000)