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