Publications on Tree Pattern Matching and Applications (C. M. Hoffmann)

An Interpreter Generator Using Tree Pattern Matching
6th ACM Symp. Princ. of Progr. Lang., 1979, 169-179; (with M. O'Donnell)
Pattern Matching in Trees
J. ACM 29, 1982, 68-95; (with M. O'Donnell)
Programming with Equations
ACM Trans. on Progr. Lang. and Systems 4, 1982, 96-112; (with M. O'Donnell)
Implementation of an Interpreter for Abstract Equations
Software Pract. and Experience 15, 1985, 1185-1204; (with M. O'Donnell).