Orejas, New concepts for amalgamation and extension in the framework of specification logics (1993)

by M Baldamus, F
Venue:Salomaa (Eds.), Current Trends in Theoretical Computer Science. World Scientific