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