New concepts of amalgamation and extension for a general theory of specifications (1993)

by H Ehrig, M Baldamus, F Orejas
Venue:Proc. 8th Workshop on Specification of Abstract Data Types, Dourdan. Springer LNCS 655