Size and structure of universal Turing machines using Tag systems (1962)

by M Minsky
Venue:in Recursive Function Theory, Proc. Symp. Pure Mathematics, AMS, Providence RI