Techniques of admissible recursion theory - Chong, Chi-tat 1949- (Lecture notes in mathematics, 1984)