PROVOTAR, O.; ILKUN, O. Категорії як формальні моделі обчислень. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, n. 37, p. 98-102, 27 jun. 2023.