V. E. Itkin An Algebra of Mixed Computation. 81-93 1991 90 Theor. Comput. Sci. 1 db/journals/tcs/tcs90.html#Itkin91