Rose, H. E. Ternary Recursive Arithmetic. Math. Scand. 1962, 10, 201-216.