An Early Program Proof by Alan Turing (1984)
F. Lockwood Morris and Cliff B. Jones
This paper reproduces, with typographical corrections and comments, a 1949
paper1 by Alan Turing that foreshadows much subsequent work in
1. Turing, A. M., ``Checking a Large Routine''. In Report of a
Conference on High Speed Automatic Calculating Machines, Univ. Math.
Lab., Cambridge, pp 67-69 (1949).