Checking a large routine (1949)

by Alan M Turing
Venue:University Mathematical Laboratory