Recursion-theoretic hierarchies - 366611 Hinman, Peter G. (Berlin : Springer-Verlag, 1978)
41