Теоретическое применение методов математической логики. 2 : сборник работ / под редакцией Г. Е. Минца и В. П. Оревкова. — Ленинград : Наука, Ленинградское отделение, 1977. — 147 с. — (Записки научных семинаров ЛОМИ ; т. 68) - Минц, Г. Е. (1939—2014); Оревков, В. П. (род. 1940) (Записки научных семинаров ЛОМИ, 1977)