Rose HE. Ternary Recursive Arithmetic. Math. Scand. 1962;10:201-216. doi:10.7146/math.scand.a-10528