Automorphisms of first-order structures (Clarendon Press, 1994)