по теме "Формализация семантики алгоритмических языков высокого уровня в многоязыковых системах программирования".