Janelidze, Z., Van Der Berg, I. A Dedekind-Style Axiomatization and the Corresponding Universal Property of An Ordinal Number System, Journal of Symbolic Logic, 87 (4), pp. 1396-1418.