Архив автора	Бондаренко, М. Ф.     Свойства подстановочных операций, применяемых к формуле алгебры конечных предикатов [Текст] / М. Ф. Бондаренко, С. Ю. Шабанов-Кушнаренко, Д. Э. Ситников, П. Э. Ситникова, С. А. Марьин // Системи управління, навігації та зв'язкуВип. 1 (21). Вип. 1 (21). т. 2 ; Центр. наук.-дослід. ін-т навігації і упр. - К. , 2012. — 174-182.