1. S. Eilenberg, Automata, Languages, and Machines, Vol. A (Academic Press, New York, 1974).
2. J. Sakarovitch, Elements of Automata Theory (Cambridge Univ. Press, Cambridge, 2009). https://doi.org/10.1017/CBO9781139195218
3. A. I. Kostrikin, Introduction to Algebra, Part I: Fundamentals of Algebra (MTsNMO, Moscow, 2020) [in Russian].
4. E. Eder, ‘‘Properties of substitutions and unifications,’’ J. Symbolic Comput. 1 (1), 31–46 (1985). https://doi.org/10.1016/S0747-7171(85)80027-4
5. G. Metakides and A. Nerode, Principles of Logic and Logic Programming (North-Holland, Amsterdam, 1996; Factorial, Moscow, 1998).