Vuckovic, V. (1959) “Partially Ordered Recursive Arithmetics”., MATHEMATICA SCANDINAVICA, 7, pp. 305–320. doi: 10.7146/math.scand.a-10576.