On the construction of complete systems of equivalent transformations of program schemes
scientific article; zbMATH DE number 1246873