The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / - Petzold, Charles (Wiley Pub., 2008)