Vuckovic, V. “Partially Ordered Recursive Arithmetics”. MATHEMATICA SCANDINAVICA, vol. 7, Dec. 1959, pp. 305-20, doi:10.7146/math.scand.a-10576.