Partis, M. T. Commutative Partially Ordered Recursive Arithmetics. Math. Scand. 1963, 13, 199-216.