Algebraic theory of modular specification development (1987)

by H Ehrig, W Fey, H Hansen, M Lowe, F Parisi-Presicce
Venue:In [Ehr88