 Institutions were introduced by J. Goguen and R. Burstall (see Goguen and Burstall 1984, 1992) as a kind of “abstract model theory” for Computer Science, and are adequate for developing concepts of specification languages such as structuring of specifications and implementation.