Comparisons between some generalizations of recursion theory Carl E. Gordon (1970) Compositio Mathematica
Computational complexity in algebraic systems. Rybalov, A.N. (2004) Sibirskij Matematicheskij Zhurnal