Detecting equivalence of modular specifications with categorical diagrams
scientific article; zbMATH DE number 1521729
scientific article