1. Aho, A., J. Hopcroft and J. Ullman: The Design and Analysis of Computer Algorithms. Reading, Mass.: Addison-Wesley 1974
2. Anisimov, A. V. and L. P. Lisovik: Equivalence problems for finite-automaton mappings into free and commutative semigroups. Cybernetics, 14, 321–327(1978)
3. Berstel, J. and D. Perrin: Theory of Codes. Orlando, Florida: Academic Press 1985
4. Berstel, J. and D. Perrin: Trends in the theory of codes. Bull. European Assoc. Theor. Comput. Sci., 29, 84–95(1986)
5. Blattner, M. and T. Head: Single-valued a-Transducers. J. Comput. Syst. Sci., 15, 310–327(1977)