New Concepts of Amalgamation and Extension for a General Theory of Specifications.

Hartmut Ehrig Michael Baldamus Fernando Orejas New Concepts of Amalgamation and Extension for a General Theory of Specifications. 199-221 1991 conf/compass/1991 COMPASS/ADT db/conf/compass/compass91.html#EhrigBO91