PROVOTAR, O.; ILKUN, O. Категорії як формальні моделі обчислень. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, [S. l.], n. 37, p. 98–102, 2023. Disponível em: https://www.fmmit.lviv.ua/index.php/fmmit/article/view/313. Acesso em: 9 чер. 2026.