Recursion-theoretic hierarchies - Hinman, Peter G. (Springer, 1978)