Информатика, вычислительная техника и управление. Диссертация Анализ семантических свойств некоторых классов программ и сетей Петри : диссертация ... доктора физико-математических наук : 05.13.17, Переславль-Залесский, 2001