1. Grant I., “Automorphisms definable by formulas,” Pacific J. Math., 44, No. 1, 107–115 (1973).
2. Birkhoff G., “Sobre los grupos de automorfismos,” Rev. Un. Mat. Argentina, 11, No. 4, 155–157 (1945–1946).
3. Chang C. C. and Keisler H. J., Model Theory, North-Holland, Amsterdam and London (1973).
4. Ershov Yu. L. and Goncharov S. S., Constructive Models, ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).
5. Mal’cev A. I., Algorithms and Recursive Functions, Wolters-Noordhoff Publishing, Groningen (1970).