V. Vuckovic, “Partially Ordered Recursive Arithmetics”., Math. Scand., vol. 7, pp. 305–320, Dec. 1959.