Techniques of admissible recursion theory - Chong, C.-T. (Chi-Tat) 1949- (Lecture notes in mathematics (Springer-Verlag), 1984)