Проблема эквивалентности программ: модели, алгоритмы, сложность
Захаров Владимир Анатольевич. Проблема эквивалентности программ: модели, алгоритмы, сложность: автореферат дис. ... кандидата физико-математических наук: 01.01.09 / Захаров Владимир Анатольевич;[Место защиты: Московском государственном университете имени М.В. Ломоносова].- Москва, 2011.- 42 с.