Groups of automorphisms of algebraic system. - Plotkin, B. I. (Nauka, 1966)