Исследования по конструктивной математике и математической логике. 9 : сборник работ / под редакцией Е. Я. Данцина и В. П. Оревкова. — Санкт-Петербург : Наука, 1995. — 148 с. — (Записки научных семинаров ПОМИ ; т. 220) - Данцин, Е. Я.; Оревков, В. П. (род. 1940) (Записки научных семинаров ПОМИ, 1995)