An overview of the computably enumerable sets (1999)

by R I Soare
Venue:In Handbook of Computability Theory, volume 140 of Stud. Logic Found. Math