Гуторов Д.А. Индуктивный синтез алгоритмов на основе аксиоматических теорий постановок задач : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / Д. А. Гуторов, 2009. - 17 с. - Текст : непосредственный.