Partis, M. T. “Commutative Partially Ordered Recursive Arithmetics”. Mathematica Scandinavica 13 (December 1, 1963): 199–216. Accessed September 8, 2026. https://journals.msp.org/mscand/article/view/2624.