Подымов В.В. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / В. В. Подымов, 2015. - 24 с. - Текст : непосредственный.