Techniques of Admissible Recursion Theory (Lecture Notes in Mathematics, 1106) | EKB DL