Higher recursion theory - Sacks, Gerald E. 1933-2019 (Springer, 1990)