1. Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: an Approach. Kluwer Academic Publishers, Dordrecht (2000)
2. Kaufmann, M., Moore, J.S.: Design goals of ACL2. Technical report, Computational Logic, Inc. (1994)
3. Kohlbecker, E., Friedman, D.P., Felleisen, M., Duba, B.: Hygienic macro expansion. In: Proc. 1986 ACM Conference on LISP and Functional Programming, pp. 151–161. ACM Press, New York (1986)
4. Clinger, W., Rees, J.: Macros that work. In: Proc. 18th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 155–162. ACM Press, New York (1991)
5. Dybvig, R.K., Hieb, R., Bruggeman, C.: Syntactic abstraction in Scheme. Lisp and Symbolic Computation 5(4), 295–326 (1992)