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