New concepts for amalgamation and extension in the framework of specification logics (1991)

by H Ehrig, M Baldamus, F Orejas
Venue:In Proc.ADT-Workshop Durdan. Pp. 199