SMS: Higher recursion theory / Gerald E. Sacks, Harvard University.