Semantic Integration in the Information Flow Framework
Institutions: abstract model theory for specification and programming