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