Index sets in computable analysis - Cenzer, Douglas; Remmel, Jeffrey B. (Theoretical computer science, 1999)