Ternary Recursive Arithmetic. - Rose, H. E. (MATHEMATICA SCANDINAVICA, 1962)