Definable sets over finite fields. Z. Chatzidakis, L. v.d. Dries, A. Macintyre (1992) Journal für die reine und angewandte Mathematik