Исследования по теории алгоритмов и математической логике: сборник работ / Вычислительный центр Академии наук СССР. - Москва : ВЦ АН СССР, 1973―1976 - Академия наук СССР. Вычислительный центр (Москва) (ВЦ АН СССР, 1973)