Andrei P. Ershov Mixed Computation: Potential Applications and Problems for Study. 41-67 1982 18 Theor. Comput. Sci. db/journals/tcs/tcs18.html#Ershov82