1. A. V. Aho, M. Ganapathi and S. W. K. Tjiang, Code Generation Using Tree Matching and Dynamic Programming, ACM Trans. Prog. Lang. and Systems 11, 4 (Oct. 1989), 491–516.
2. R. Burstall, D. MacQueen and D. Sannella, HOPE: An Experimental Applicative Language, Report CSR-62-80, Computer Science Department, Edinburgh, 1980.
3. I. H. Carmichael and J. R. Cordy, TXL — Tree Transformation Language, Syntax and Informal Semantics, Dept. of Computing and Information Sciences, Queens's Univeristy, Kingston, Apr. 1991.
4. W. F. Clocksin and C. S. Mellish, Programming in Prolog, Springer Verlag, Berlin, 1984.
5. J. R. Cordy and E. Promislow, Specification and Automatic Prototype Implementation of Polymorphic Objects in TURING using the TXL Dialect Processor, Proc. IEEE 1990 International Conference on Computer Languages, New Orleans, Mar. 1990, 145–154.