Constructive order types, III. John N. Crossley; P.H.G. Aczel — 1971 Archiv für mathematische Logik und Grundlagenforschung