 On the other hand, making heavy use of the language of category theory, J. Goguen and R. Burstall introduced the notion of institutions as a kind of abstract model theory devoted to applications in Computer Science (see Goguen and Burstall 1984, 1992). Institutions are also used as a mechanism for combining logics.