Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
scientific article; zbMATH DE number 1234344