1. Bertling, H., H. Ganzinger: Completion-Time Optimization of Rewrite-Time Goal Solving, RTA 89, Chapel Hill, April 1989.
2. Krieg-Brückner, B. (Ed.): Program Development by Specification and Transformation, to appear, Springer-Verlag.
3. Courcelle, B. and P. Franchi-Zannettacci: Attribute Grammars and Recursive Program Schemes (I and II), Theoretical Computer Science, 17, 2 and 3, pp. 163–191 and 235–257, 1982.
4. Deransart, P., M. Jourdan, B. Lorho: Attribute Grammars — Definitions, Systems and Bibliography, Lecture Notes in Computers Science 323, Springer Verlag, 1988
5. Ferdinand, C. Pattern Matching in a Functional Transformation Language using Treeparsing, PLILP'90, LNCS, Springer, 1990, to appear.