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