Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics
scientific article; zbMATH DE number 5320950
scientific article