Partis, M. T. (1963) “Commutative Partially Ordered Recursive Arithmetics”., MATHEMATICA SCANDINAVICA, 13, pp. 199–216. doi: 10.7146/math.scand.a-10699.