The Trafola-S subsystem (1993)

by M Alt, C Fecht, C Ferdinand, R Wilhelm
Venue:Program development by speci cation and transformation, LNCS 680