The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. - Jan C. Verheul; Peter G. Kluit (CTRS, 1994)