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