1. Baiocchi, C.: 3n+1, UTM e tag-system. Technical report Pubblicazione 98/38, Dipartimento di Matematico, Università di Roma (1998). (In Italian)
2. Baiocchi, C., Margenstern, M.: Cellular automata about the 3x+1 problem. In: Proceedings of LCCS 2001, Université Paris 12, pp. 37–45 (2001)
3. Cocke, J., Minsky, M.: Universality of tag systems with $${P} = 2$$. J. ACM 11(1), 15–20 (1964)
4. Cook, M.: Universality in elementary cellular automata. Complex Syst. 15(1), 1–40 (2004)
5. Cook, S.: The solvability of the derivability problem for one-normal systems. J. ACM 13(2), 223–225 (1966)