Agerholm, S. Non-Primitive Recursive Function Definitions. BRICS 1995, 2.