Чагров А.В. Моделирование вычислительных процессов средствами пропозициональных логик : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17:01.01.06 / А. В. Чагров, 1998. - 30 с. - Текст : непосредственный.