Issue No. 02 - April-June (1984 vol. 6)
<p>The paper reproduces, with typographical corrections and comments, a 1949 paper by Alan Turing that foreshadows much subsequent work in program proving.</p>
F. Morris and C. Jones, "An Early Program Proof by Alan Turing," in IEEE Annals of the History of Computing, vol. 6, no. , pp. 139-143, 1984.