This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
Differentiation of constructive functions of a real variable and relative computability
Osvald Demuth, Pavel Filipec
pp. 81-106
Not implemented yet !