H. E. Rose, “Ternary Recursive Arithmetic”., Math. Scand., vol. 10, pp. 201–216, Jun. 1962.