The Lattice of Sets Recursively Enumerable in an Oracle (1990)

by T Hammond