1. A.V. Aho, R. Sethi, and J.D. Ullmann. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1987.
2. A. Bove and L. Arbilla. A Confluent Calculus of Macro Expansion and Evaluation. In ACM Conference on Lisp and Functional Programming, pages 278–287, 1992.
3. V. Breazu-Tannen, P. Buneman, and S. Naqvi. Structural Recursion as a Query Language. In Proceedings of the Third International Workshop on Database Programming Languages,Nafplion, Greece, 1991. Morgan Kaufmann Publishers.
4. L. Cardelli. An Implementation of F. Report 97, Digital Equipment Corporation, Systems Research Center, 1993.
5. T. Griffin. Notational definition — A formal account. In Proceedings Symposium on Logic in Computer Science, pages 372–383, 1988.