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