1. Berstel, J.: Transductions and Context-Free Languages. Teubner Studienbücher, Stuttgart (1979)
2. Blumensath, A., Grädel, E.: Finite presentations of infinite structures: automata and interpretations. ACM Trans. Comput. Syst. 37(6), 641–674 (2004)
3. Book, R.V., Otto, F.: String-Rewriting Systems. Springer, New York (1993)
4. Cannon, J.W., Epstein, D.B.A., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Jones and Barlett, Boston (1992)
5. Choffrut, Ch.: Conjugacy in free inverse monoids. Int. J. Algebra Comput. 3(2), 169–188 (1993)