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