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