V. Vuckovic, “Partially Ordered Recursive Arithmetics”., Math. Scand., vol. 7, pp. 305–320, Dec. 1959, doi: 10.7146/math.scand.a-10576.