Бондаренко, М. Ф.     Математическое описание преобразований формул алгебры конечных предикатов [Текст] / М.Ф. Бондаренко, П.В. Захарченко // Математические методы анализа динамических систем : темат. сб. науч. тр. / М-во высш. и сред. спец. образования СССР, Харьк. авиационный ин-т им. Н. Е Жуковского. — Харьков : ХАИ, 1981. — С. 80-86.