TrafoLa-H Reference Manual (1993)

by R Heckmann, G Sander
Venue:Program Development by Speci cation and Transformation. The PROSPECTRA Methodology, Language Family, and System , LNCS 680