Soare, Recursively Enumerable Sets and Degrees (1987)