1. S.I. Adjan, G.S. Makanin, Investigations on algorithmic problems in algebra (in Russian), Trudy Mat. Inst. Steklov. 168 (1984) 197–217, English translation in Proceedings of the Steklov Institute of Mathematics, Vol. 168, 1986, pp. 207–226.
2. Undecidable problems for probabilistic automata of fixed dimension;Blondel;Theory Comput. Syst.,2003
3. String Rewriting Systems, Texts and Monographs in Computer Science;Book,1993
4. On the undecidability of freeness of matrix semigroups;Cassaigne;Internat. J. Algebra Comput.,1999
5. Examples of undecidable problems for 2-generator matrix semi-groups;Cassaigne;Theoret. Comput. Sci.,1998