A Confluent Calculus of Macro Expansion and Evaluation. - Ana Bove; Laura Arbilla (LISP and Functional Programming, 1992)