Lou van den Dries Angus Macintyre David Marker Logarithmic-exponential series. 61-113 2001 111 Ann. Pure Appl. Logic 1-2 db/journals/apal/apal111.html#DriesMM01