Partis MT. Commutative Partially Ordered Recursive Arithmetics. Math. Scand. 1963;13:199-216. doi:10.7146/math.scand.a-10699