Ershov Andrei P.: Mixed computation in the class of recursive program schemata. In: Acta cybernetica, (4) 1. pp. 19-23. (1978)