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