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