John Cocke Marvin Minsky Universality of Tag Systems with P=2. 15-20 1964 11 J. ACM 1 http://doi.acm.org/10.1145/321203.321206 db/journals/jacm/jacm11.html#CockeM64