Rose, H. E. (1962). Ternary Recursive Arithmetic. MATHEMATICA SCANDINAVICA, 10, 201–216. https://doi.org/10.7146/math.scand.a-10528