1. Automata, Languages, and Machines, vol. B;Eilenberg,1976
2. Elements of Automata Theory;Sakarovitch,2009
3. Varieties of formal languages;Pin,1986
4. Algorithmic problems in varieties;Kharlampovich;Internat. J. Algebra Comput.,1995
5. Undecidability of the identity problem for finite semigroups;Albert;J. Symbolic Logic,1992