Metody obnaruženija ošibok v rabote ECVM. - Sellers, Frederick F. (Mir, 1972)