O. Provotar і O. Ilkun, Категорії як формальні моделі обчислень, ФММІТ, no 37, pp 98-102, Чер 2023.