Algebras of hyperschemes and integrated tools for synthesis of programs in modern object-oriented environments
scientific article; zbMATH DE number 2183757