Информатика, вычислительная техника и управление. Диссертация Методология логического моделирования процесса разработки программного обеспечения на базе EDA-технологии : диссертация ... доктора технических наук : 05.13.06, 05.13.11, Санкт-Петербург, 2001