Информатика, вычислительная техника и управление. Диссертация Логический анализ систем на основе алгебраического подхода : диссертация ... доктора физико-математических наук : 05.13.01, Санкт-Петербург, 2007