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

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