%0 Journal Article
%A John N. Crossley
%A P.H.G. Aczel
%T Constructive order types, III.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1971
%P 112-116
%V 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1971__9_137792/
%F AMLG_1971__9_137792