Рустинов, В. А.     Процедуры импликации на арифметических операциях при синтезе тестов верификации [Текст] / В.А. Рустинов, Е.Е. Сыревич, А.В. Сыревич, Д.И. Чегликов // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.4-13.