M. T. Partis, “Commutative Partially Ordered Recursive Arithmetics”., Math. Scand., vol. 13, pp. 199–216, Dec. 1963.