A. P. Ershov, “Mixed computation in the class of recursive program schemata”, Acta Cybern, vol. 4, no. 1, pp. 19-23, Jan. 1978.