The uppersemilattice of degrees of recursive unsolvability (1954)

by S C Kleene, E L Post