Agerholm, S. “Non-Primitive Recursive Function Definitions”. BRICS Report Series, vol. 2, no. 36, June 1995, doi:10.7146/brics.v2i36.19939.