Computability theory - Cooper, Stuart B. 1943-2015 (Chapman & Hall/CRC mathematics, 2004)