Metarecursively enumerable sets and their metadegrees (1968)

by G C Driscoll
Venue:Jour. Sym. Log