Информатика, вычислительная техника и управление. Диссертация Специализация функциональных программ методами суперкомпиляции : диссертация ... кандидата физико-математических наук : 05.13.17, Переславль-Залесский, 2007