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