1. A. Tanenbaum, H. van Staveren, E. Keizer, J. Stevenson: A Practical tool Kit for making Portable Compilers. CACM 26(9), pp. 654–660, 1983]
2. J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh (ed.): Current trends in programming methodology, Vol. IV, Prentice Hall, 1978.
3. A.V. Aho, M. Ganapathi: Efficient tree pattern matching: an aid to code generation. Proceedings POPL 12, pp.334–340, 1985.
4. A.V. Aho, M. Ganapathi, S.W.K. Tjiang: Code Generation Using Tree Matching and Dynamic Programming. Report, Bell Laboratories, Murray Hill, 1986.
5. A.V. Aho, S.C. Johnson: Optimal Code Generation for Expression Trees. JACM 23(3), pp. 488–501, 1976.