Compositionality results for different types of parameterization and parameter passing in specification language (1993)

by H Ehrig, R M Jimenez, F Orejas
Venue:In Proc. TAPSOFT '93