Provotar, O. і Ilkun, O. (2023) «Категорії як формальні моделі обчислень», ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, (37), с. 98–102. доступний у: https://www.fmmit.lviv.ua/index.php/fmmit/article/view/313 (дата звернення: 9 Червень 2026).