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