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