Algebraic recursion theory - Ivanov, Ljubomir L. (Horwood u.a., 1986)