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