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