An early program proof by Alan Turing (1984)

by F L Morris, C B Jones
Venue:Annals of the History of Computers