Сачанюк-Кавецька, Н. В. «АНАЛІТИЧНА ОБРОБКА ЛОГІКО-ЧАСОВИХ ФУНКЦІЙ ШЛЯХОМ ПОДАННЯ ЇХ У ВИГЛЯДІ ПОЛІНОМІВ». Оптико-електроннi iнформацiйно-енергетичнi технологiї, вип. 27, вип. 1, Серпень 2014, с. 26-31, https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/330.