Информатика, вычислительная техника и управление. Диссертация Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели : диссертация ... кандидата технических наук : 05.13.12, Иваново, 2002