Model theory, algebra and geometry (Cambridge Univ. Press, 2000)