Constructive order types - Crossley, John N. (North-Holland, 1969)