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