TY  - BOOK
AU  - Petzold, Charles
TI  - Annotated turing: a guided tour through Alan Turing's historic paper on computability and the turing machine
SN  - 9780470229057
PY  - 2008///
CY  - Indianapolis
PB  - Wiley
KW  - Turing machines
KW  - Computational complexity
ER  -