Automorphisms of the lattice of recursively enumerable sets I: maximal sets (1974)

by R I Soare
Venue:Ann. of Math