A specification language for program transformations.

Functional, statically typed, polymorphic, with extended

constructs for pattern-matching. "Trafola-H Reference

Manual", R. Heckmann et al, U Saarlandes, Saarbrucken 1991.