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