Universality of Tag Systems With P = 2 (1964)

by J Cocke, M Minsky
Venue:Journal of the Association for Computing Machinery