Методы обнаружения ошибок в работе ЭЦВМ - Селлерс Ф. (Мир, 1972)