Computability Theory - Cooper, S. Barry (Chapman & Hall, CRC, 2004)