1. S.I. Adian, G.S. Makanin, Investigations on algorithmic questions of algebra, Proc. Steklov Inst. Math. (3) (1986) 207–226 (English translation, original in Trudy Matematicheskogo Instituta imeni Steklova 168 (1984)).
2. Molecular computation of solutions to combinatorial problems;Adleman;Science,1994
3. Linear cellular automata, finite automata and Pascal's triangle;Allouche;Discrete Appl. Math.,1996
4. C. Baiocchi, 3N+1, UTM e Tag-systems, private communication (in Italian), 1998.
5. Y. Bar-Hillel, M. Perles, E. Shamir, On formal properties of simple phrase structure grammars, Z. Phonetik, Sprachwissenschaft und Kommunikationsforschung 14 (1961) 143–172.