Базис стандартной и рекурсивной схемы. Верификация программы
Информатика, программирование