TECHNIQUES OF ADMISSIBLE RECURSION THEORY - Chong, Chi-Tat (Lecture notes in mathematics, 1984)