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