Soare, An overview of the computably enumerable sets, in: Handbook of Computability Theory (0)