Ternary Recursive Arithmetic. - Rose, H. E. (Mathematica Scandinavica, 1962)