Теоретическое применение методов математической логики. 3 : сборник работ / под редакцией Д. Ю. Григорьева и В. П. Оревкова. — Ленинград : Наука, Ленинградское отделение, 1981. — 200 с. — (Записки научных семинаров ЛОМИ ; т. 105) - Григорьев, Д. Ю.; Оревков, В. П. (род. 1940) (Записки научных семинаров ЛОМИ, 1981)