"Automorphisms of the lattice of recursively enumerable sets. Part II: Low ..."

Robert I. Soare (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics