On the lattice of recursively enumerable sets (1968)

by A H Lachlan
Venue:Trans. Amer. Math. Soc