Agerholm, S. (1995). Non-primitive Recursive Function Definitions. BRICS Report Series, 2(36). https://doi.org/10.7146/brics.v2i36.19939