Корректура статьи

"Современное состояние теории схем программ" для журнала "Проблемы кибернетики".