V. Zubenko, Про процедурну платформу для теорії алгоритмів, ФММІТ, no 36, pp 92-95, Чер 2023.