Информатика, вычислительная техника и управление. Диссертация Методы формирования и выбора архитектурных решений специфицируемых вычислительных систем на основе инвариантных моделей поведения : диссертация ... доктора технических наук : 05.13.13, Москва, 2000