1. Model theory of unitriangular groups;Belegradek,1999
2. Model Theory;Hodges,1993
3. Separating classes of groups by first order sentences;Nies;Internat. J. Algebra Comput.,2003
4. A. Nies, Describing groups, Bull. Symb. Logic, à paraître
5. F. Oger, Some new examples of quasi-finitely axiomatizable groups which are prime models, Preprint