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

by M L Minsky
Venue:Annals of Mathematics