Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств Ю.Д. Шмидт — 1989 Algebra i Logika