Vuckovic V. Partially Ordered Recursive Arithmetics. Math. Scand. 1959;7:305-320. doi:10.7146/math.scand.a-10576