Soare, Recursively enumerable sets and degrees. A study of computable functions and computably generated sets (1987)