Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) - Hrushovski (IEEE, 2003)