Source : Free On-Line Dictionary of Computing

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, U Saarlandes, Saarbrucken 1991.