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