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