Formal software specification with refinements and modules of typed graph transformation systems
scientific article; zbMATH DE number 1775694
scientific article