1. H. Adler, Strong theories, burden, and weight, preprint, {rshttp://www.logic.univie.ac.at/~ adler/docs/strong.pdf}
2. L. Bélair, Types dans les corps valués munis d’applications coefficients, Illinois Journal of Mathematics 43 (1999), 410–425.
3. O. Belegradek, Poly-regular ordered abelian groups, in Logic and Algebra, Contemporary Mathematics, Vol. 302, American Mathematical Society, Providence, RI, 2002, pp. 101–111.
4. R. Cluckers and I. Halupczok, Quantifier elimination in ordered abelian groups, Confluentes Mathematici 3 (2011), 587–615.
5. F. Delon, Types sur C((X)), un Study Group on Stable Theories (Bruno Poizat), Second year: 1978/79, Secrétariat Mathématique, Paris, 1981, Exp. No. 5.