'Checking a large routine'

AMT-B-8

'Checking a large routine'. This was a paper given by AMT on 24 June 1949 at the inaugural…