Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen. F.-K. Mahn (1966) Archiv für mathematische Logik und Grundlagenforschung
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen. H. Bremer, C.H.H. Reynvaan (1975) Archiv für mathematische Logik und Grundlagenforschung