Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms
scientific article; zbMATH DE number 5534515