The upper semi-lattice of degrees of recursive unsolvability (1954)

by S C Kleene, E Post
Venue:Ann. of Math