Higher recursion theory - Sacks, Gerald E. (Perspectives in mathematical logic, 1990)