Исследования по конструктивной математике и математической логике. 4 : сборник работ / под редакцией Ю. В. Матиясевича и А. О. Слисенко. — Ленинград : Наука, Ленинградское отделение, 1971. — 294 с. — (Записки научных семинаров ЛОМИ ; т. 20) - Матиясевич, Ю. В.; Слисенко, А. О. (Записки научных семинаров ЛОМИ, 1971)