1991 | ||
---|---|---|
4 | V. E. Itkin: An Algebra of Mixed Computation. Theor. Comput. Sci. 90(1): 81-93 (1991) | |
1977 | ||
3 | Andrei P. Ershov, V. E. Itkin: Correctness of Mixed Computation in Algol-Like Programs. MFCS 1977: 59-77 | |
1972 | ||
2 | V. E. Itkin: Local- termal equivalence of program schemata. International Sympoisum on Theoretical Programming 1972: 127-143 | |
1 | V. E. Itkin, Z. Zwinogrodzki: On Program Schemata Equivalence. J. Comput. Syst. Sci. 6(1): 88-101 (1972) |
1 | Andrei P. Ershov | [3] |
2 | Z. Zwinogrodzki | [1] |