О. СМИШ і А. ЗАГОРУЛЬКО, «ВИКОРИСТАННЯ МОВИ LEAN ДЛЯ ПЕРЕВІРКИ НА НЕСУПЕРЕЧНІСТЬ МАТЕМАТИЧНИХ ЗАДАЧ У НАВЧАЛЬНІЙ РЕКОМЕНДАЦІЙНІЙ СИСТЕМІ», ВИМІРЮВАЛЬНА ТА ОБЧИСЛЮВАЛЬНА ТЕХНІКА В ТЕХНОЛОГІЧНИХ ПРОЦЕСАХ, вип. 1, с. 32–38, Бер 2024.