Correctness of Mixed Computation in Algol-Like Programs.

Andrei P. Ershov, V. E. Itkin

Browse the full MFCS paper archive.