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