J. Zashev, “On the connection between the abstract recursion theory and the method of successive approximations”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 87, pp. 113–128, Dec. 1995.