Обзор последних результатов в теории алгебраических моделей программ с процедурамидоклад на конференции