I first came across Petzold this weekend while watching a talk by Robert "Uncle Bob" Martin on the future of programming. Martin was discussing Turing's paper "On Computable Numbers" and recommended reading it and Petzold's "Annotated Turing". I currently have Petzold's book on my "to-buy" list so am glad to see it spoken of highly.