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