Building and integrating semantic theories over institutions
scientific article; zbMATH DE number 6839287