Recursive unsolvability of Post's problem of "tag" and other topics in the theory of Turing machines (1961)

by M L Minsky
Venue:Annals of Mathematics