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