@article{4640518,
    Author = {Morris, F. L. and Jones, C. B.},
    File = {An Early Program Proof by Alan Turing - Morris, Jones (0) (0) - a - a - o.pdf},
    ISSN = {0164-1239},
    Journal = {Annals of the History of Computing},
    Keywords = {readme},
    Number = {2},
    Pages = {139-143},
    Title = {An Early Program Proof by Alan Turing},
    Volume = {6},
    Year = {1984},
    bdsk-url-1 = {http://dx.doi.org/10.1109/MAHC.1984.10017},
    date-added = {2013-03-27 14:31:56 +0000},
    date-modified = {2013-03-27 14:35:41 +0000},
    doi = {10.1109/MAHC.1984.10017}
}

@article{4640518, Author = {Morris, F. L. and Jones, C. B.}, File = {An Early Program Proof by Alan Turing - Morris, Jones (0) (0) - a - a - o.pdf}, ISSN = {0164-1239}, Journal = {Annals of the History of Computing}, Keywords = {readme}, Number = {2}, Pages = {139-143}, Title = {An Early Program Proof by Alan Turing}, Volume = {6}, Year = {1984}, bdsk-url-1 = {http://dx.doi.org/10.1109/MAHC.1984.10017}, date-added = {2013-03-27 14:31:56 +0000}, date-modified = {2013-03-27 14:35:41 +0000}, doi = {10.1109/MAHC.1984.10017} }