Text this: Techniques of admissible recursion theory / Chi-Tat Chong.