Automorphisms of first-order structures - Kaye, Richard; Macpherson, Dugald (Oxford science publications, 1994)