Agerholm, Sten. “Non-Primitive Recursive Function Definitions”. BRICS Report Series 2, no. 36 (June 6, 1995). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/19939.