Computability theory - Cooper, S. B. (Chapman & Hall/CRC, 2004)