Soare, Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (1987)