Trafola-H

A specification language for program transformations. Functional, statically typed, polymorphic, with extended constructs for pattern-matching.

"Trafola-H Reference Manual", R. Heckmann et al, University of Saarlandes, Saarbrucken 1991.