Local- termal equivalence of program schemata. - V. E. Itkin (International Sympoisum on Theoretical Programming, 1972)

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

Correctness of Mixed Computation in Algol-Like Programs. - Andrei P. Ershov; V. E. Itkin (MFCS, 1977)

An Algebra of Mixed Computation. - V. E. Itkin (Theor. Comput. Sci., 1991)