1. [1] Dries, L. van den, "The field of reals with a predicate for the powers of two", Manuscripta Mathematica, vol. 54 (1985), pp. 187--95.
2. [2] Dries, L. van den, "o-minimal structures", pp. 137--85 in Logic: From Foundations to Applications (Staffordshire, 1993), edited by W. Hodges, M. Hyland, and C. Steinhorn, Oxford Science Publications, Oxford University Press, New York, 1996.
3. [3] Dries, L. van den, "$T$"-convexity and tame extensions. II", The Journal of Symbolic Logic, vol. 62 (1997), pp. 14--34.
4. [4] Friedman, H., and C. Miller, "Expansions of o-minimal structures by fast sequences", The Journal of Symbolic Logic, vol. 70 (2005), pp. 410--18.
5. [6] Miller, C., "Exponentiation is hard to avoid", Proceedings of the American Mathematical Society, vol. 122 (1994), pp. 257--59.