@book{21240,
	author = {Petzold, Charles},
	title = {The annotated Turing: a guided tour through Alan Turing's historic paper on computability and the Turing machine},
	publisher = {Wiley Publishing},
	year = {2008},
	address = {Indianapolis}
}