Vuckovic, V. Partially Ordered Recursive Arithmetics. Math. Scand. 1959, 7, 305-320.