Подловченко Р.И. «Методология построения систем эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ» // Труды семинара «Семантика, спецификация и верификация программ : тория и приложения» (Казань, 14-15 июня 2010), Казань, изд-во «Отечество», 2010, с. 82-87.

Ключевые слова: