Provotar, Oleksandr, і Oleksandr Ilkun. Категорії як формальні моделі обчислень. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, no. 37 (Червень 27, 2023): 98-102. Accessed Лютий 12, 2026. http://fmmit.lviv.ua/index.php/fmmit/article/view/313.