482 | fURTHER READING, NOTES, AND REfERENCES
Hinsley & Stripp (1993):
F. H. Hinsley and A. Stripp (eds), Codebreakers: the Inside Story of Bletchley Park, Oxford University
Press (1993).
Hodges (1983):
A. Hodges, Alan Turing: the Enigma, Burnett (1983) and Simon and Schuster (1988) (centenary edi-
tion published in 2012 by Princeton University Press).
Metropolis et al. (1980):
N. Metropolis, J. Howlett, and G.-C. Rota (eds), A History of Computing in the Twentieth Century
(Proceedings of the 1976 Los Alamos Conference on the History of Computing), Academic
Press (1980).
Randell (1973):
B. Randell (ed.), The Origins of Digital Computers: Selected Papers, Springer-Verlag (1973) (3rd
edition 1982).Smith & Erskine (2001):
M. Smith and R. Erskine (eds), Action this Day: Bletchley Park From the Breaking of the Enigma Code
to the Birth of the Modern Computer, Bantam Press (2001) (reissued in 2011 as The Bletchley Park
Codebreakers, Biteback).S. Turing (1959) (abbreviated in the Notes as Alan M. Turing (S. Turing 1959));
S. Turing, Alan M. Turing, W. Heffer & Sons (1959) (centenary edition published in 2012, Cambridge
University Press).
TURING ITEmS
Items with an asterisk appear in The Essential Turing; for asterisked items, page numbers in the Notes refer
to The Essential Turing.
*Turing (1936):
A. M. Turing, ‘On computable numbers, with an application to the Entscheidungsproblem’, Proceedings
of the London Mathematical Society, Series 2, 42(1) (1936–7), 230–65 [correction in 43 (1937),
544–6]; The Essential Turing, Chapters 1 and 2.
Turing (c. 1936):
A. M. Turing, ‘A note on normal numbers’; in J. L. Britton (ed.), Collected works of A. M. Turing: Pure
Mathematics, North-Holland (1992), 117–19.Turing (1937):
A. M. Turing, ‘Computability and λ-definability’, Journal of Symbolic Logic, 2 (1937), 153–63.*Turing (1939):
A. M. Turing, ‘Systems of logic based on ordinals’, Proceedings of the London Mathematical Society,
Series 2, 45 (1939), 161–228; The Essential Turing, Chapter 3.
*Turing (1940):
A. M. Turing, ‘Bombe and Spider’; The Essential Turing, Chapter 6.
*Turing (c. 1941):
A. M. Turing, ‘Memorandum to OP-20-G on Naval Enigma’; The Essential Turing Chapter 8.