Selected references John Cocke and Marvin Minsky. Universality of tag systems with P = 2. Journal of the ACM, 11(1):15-20, January 1964.