Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen. H. Bremer, C.H.H. Reynvaan (1975) Archiv für mathematische Logik und Grundlagenforschung