Теория сложности вычислений. 5, Зап. научн. сем. ЛОМИ, 192, ред. Д. Ю. Григорьев, 1991, 177 с. http://mi.mathnet.ru/book895
Теория сложности вычислений. 4, Зап. научн. сем. ЛОМИ, 176, ред. Д. Ю. Григорьев, 1989, 155 с. http://mi.mathnet.ru/book879
Теория сложности вычислений. 3, Зап. научн. сем. ЛОМИ, 174, ред. Д. Ю. Григорьев, 1988, 182 с. http://mi.mathnet.ru/book877
Теория сложности вычислений. II, Зап. научн. сем. ЛОМИ, 137, ред. А. О. Слисенко, Д. Ю. Григорьев, 1984, 192 с. http://mi.mathnet.ru/book841
Теория сложности вычислений. I, Зап. научн. сем. ЛОМИ, 118, ред. Д. Ю. Григорьев, А. О. Слисенко, 1982, 216 с. http://mi.mathnet.ru/book822
Теоретические применения методов математической логики. III, Зап. научн. сем. ЛОМИ, 105, ред. Д. Ю. Григорьев, В. П. Оревков, 1981, 200 с. http://mi.mathnet.ru/book811