‘Checking a large routine’, Alan Turing

"‘Checking a large routine’. This was a paper given by AMT on 24 June 1949 at the inaugural conference of the EDSAC computer at the Mathematical Laboratory, Cambridge, and published in the Report of a Conference on High Speed Automatic Calculating Machines, pp.67-9. The paper as published contained several transcription errors, and a corrected version, with comments, was published by F.L. Morris and C.B. Jones in Annals of the History of Computing, (Vol. 6, Apr. 1984). Comprises xerox of the 1949 paper and off-print of the 1984 version under the title, ‘An early program proof by Alan Turing’, made available by courtesy of the authors."
http://www.turingarchive.org/
le texte est ici :
http://www.turingarchive.org/browse.php/B/8