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