Lars Hallnäs: On Systems of Definitions, Induction and Recursion. BIT 32(1): 45-63 (1992)