Andrei P. Ershov, V. E. Itkin. Correctness of Mixed Computation in Algol-Like Programs. In Jozef Gruska, editor, Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings. Volume 53 of Lecture Notes in Computer Science, pages 59-77, Springer, 1977.
Abstract is missing.