The advantages of built-in checking. - John W. Mauchly (AIEE-IRE Computer Conference (Eastern), 1953)

Influence of programming techniques on the design of computers. - Grace M. Hopper; John W. Mauchly (Proc. IEEE, 1997)