Recursively enumerable sets and degrees a study of computable functions and computably generated sets - Soare, Robert I. (Springer, 1987)