@article{AMLG_1971__9_137792, author = {John N. Crossley and P.H.G. Aczel}, title = {Constructive order types, {III.}}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {112--116}, publisher = {mathdoc}, volume = {9}, year = {1971}, zbl = {0199.02901}, url = {http://geodesic.mathdoc.fr/item/AMLG_1971__9_137792/} }