Математика. Диссертация Алгоритмы антиунификации и их применение для вычисления инвариантов программ : диссертация ... кандидата физико-математических наук : 01.01.09, Москва, 2008