Limits of computation an introduction to the undecidable and the intractable - Reiter, Edna E. (CRC Press, 2013)
"A Chapman & Hall book."