Some remarks on logical design and programming checks
Herman H. Goldstine · 1953
I should like to discuss two topics which are of some interest. One, is it possible to construct out of elements which are known to be imperfect a logical automaton which will have a given degree of reliability? Two, given a machine, what can one do by way of programming checks to insure accuracy of the final results?