Информатика, вычислительная техника и управление. Диссертация Разработка и исследование методов и средств формального специфицирования моделей и метрик программ : диссертация ... кандидата технических наук : 05.13.11, Владивосток, 2000