Булычев П.Е. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / П. Е. Булычев, 2010. - 28 с. - Текст : непосредственный.