The Annotated Turing
A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine
ISBN: 978-0-470-22905-7
Wiley, June 2008, 384 pages

The Turing Machine is an imaginary — not even quite hypothetical — computer invented in 1936 by English mathematician Alan Turing (1912–1954) to help solve a question in mathematical logic. As a byproduct, Turing also founded the field of computability theory: the study of the abilities and limitations of digital computers.
This book presents Turing’s original 36-page paper (and a follow-up 3-page correction) with background chapters and extensive annotations, explaining many of Turing’s statements, clarifying his discussions, and providing numerous examples. Interwoven into the narrative are the highlights of Turing’s own fascinating life.
Mathematician and author Martin Davis has written “Petzold will be a stalwart companion to any reader who undertakes to read Turing's classic with his aid. The Annotated Turing will also be quite enjoyable to a more casual reader who chooses to dip into various parts of the text.”