TMG's High Level Transformation Method
Analysis and Documentation/GAP