S. Agerholm, “Non-primitive Recursive Function Definitions”, BRICS, vol. 2, no. 36, Jun. 1995.