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