Robert I. Soare (1987). Recursively Enumerable Sets and Degrees. Berlin: Springer. https://link.springer.com/book/9783540666813