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