1. Axiomatizable classes of locally free algebras of certains types;Mal'tsev;Sibirsk. Mat. Zh.,1962
2. Des belles paires aux beaux uples;Bouscaren;J. Symb. Logic,1988
3. Poizat B., Cours de théorie des modèles, Nur Al-Mantiq Wal-Ma'rifah, Villeurbanne, France, 1985. [English translation: Springer, 2000.]
4. Korec I., A list of arithmethical structures strongest with respect to the first-order definability, Preprint N 33/1996, Math. Inst., Slovak Acad. Sci., Bratislava
5. La théorie élémentaire de la fonction de couplage de Cantor des entier naturels est décidable;Cégielski;C. R. Acad. Sci. Paris, Série I,2000