1. The Theory of Valuations
2. Scanlon T. , Model theory of valued D-fields, Ph.D. thesis, Harvard University, May 1997.
3. Scanlon T. , Quantifier elimination for the relative Frobenius, preprint, 2000.
4. On ordered division rings
5. Michaux C. , Ph.D. thesis, UniversitÉ Paris VII, 1991.