Richard Kennaway. Implementing Term Rewritin Languages in Dactl. In Max Dauchet, Maurice Nivat, editors, CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Volume 299 of Lecture Notes in Computer Science, pages 102-116, Springer, 1988.
Abstract is missing.