Ivanov, L. L. Algebraic Recursion Theory L. L. Ivanov - New York, Chischester Ellis Horwood, Halsted Press - a divison of John Willey &Sons 1986