Recursively enumerable sets and degrees: a study of computable functions and computably generated sets (1987)

by Robert I Soare