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