Recursively enumerable sets and degrees (1987)

by R I Soare