Turing Computability - Robert I. Soare (Springer Berlin Heidelberg, 2016)