Proposal for development in the Mathematics Division of an automatic computing engine (ACE) / A.M. Turing
Lecture to the London Mathematical Society on 20 February 1947 / A.M. Turing
The history and present use of digital computers and the National Physical Laboratory / M. Woodger.