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