Recursive unsolvability of Post’s problem of “tag” and other topics in theory of Turing machines (1961)

by Marvin L Minsky
Venue:Annals of Mathematics. Second Series