Wilkes, M. V., Phister, M., Barton, S. A. "Experience with Marginal Checking and Automatic Routining of the EDSAC" p239

(1953)

Automatic Digital Computation NPL Symposium 1953, (1954) Automatic Digital Computation NPL Symposium 1953, . London, HMSO (1954).  

Languages mentioned