English Computing Dictionary
◊ TRAFOLA-H
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.