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