Теоретическое применение методов математической логики. 1 : сборник работ / под редакцией С. Ю. Маслова и Г. Е. Минца. — Ленинград : Наука, Ленинградское отделение, 1975. — 179 с. — (Записки научных семинаров ЛОМИ ; т. 49) - Маслов, С. Ю.; Минц, Г. Е. (1939—2014) (Записки научных семинаров ЛОМИ, 1975)