Recursively-enumerable sets and degrees (1987)

by R Soare