On Program Schemata Equivalence. - V. E. Itkin; Z. Zwinogrodzki (J. Comput. Syst. Sci., 1972)