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