Andrei P. Ershov V. E. Itkin Correctness of Mixed Computation in Algol-Like Programs. 59-77 1977 conf/mfcs/1977 MFCS db/conf/mfcs/mfcs77.html#ErshovI77 http://dx.doi.org/10.1007/3-540-08353-7_128