On institutions for modular coalgebraic specifications.
scientific article; zbMATH DE number 1768003
scientific article