СМИШ, Олег, і Андрій ЗАГОРУЛЬКО. «ВИКОРИСТАННЯ МОВИ LEAN ДЛЯ ПЕРЕВІРКИ НА НЕСУПЕРЕЧНІСТЬ МАТЕМАТИЧНИХ ЗАДАЧ У НАВЧАЛЬНІЙ РЕКОМЕНДАЦІЙНІЙ СИСТЕМІ». ВИМІРЮВАЛЬНА ТА ОБЧИСЛЮВАЛЬНА ТЕХНІКА В ТЕХНОЛОГІЧНИХ ПРОЦЕСАХ, no. 1 (Березень 28, 2024): 32–38. дата звернення Червень 2, 2026. https://vottp.khmnu.edu.ua/index.php/vottp/article/view/250.