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