Techniques of admissible recursion theory - Chong C T (Berlin Springer-Verlag, 1984)
Keywords: Recursion theory