Leo Harrington Robert I. Soare Definability, automorphisms, and dynamic properties of computably enumerable sets. 199-213 1996 2 Bulletin of Symbolic Logic 2 http://www.math.ucla.edu/~asl/bsl/0202/0202-004.ps db/journals/bsl/bsl2.html#HarringtonS96