The Annotated Turing - heftet, Engelsk, 2008