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).