Helmut Schwichtenberg Inverting Monotone Continuous Functions in Constructive Analysis. 490-504 2006 conf/cie/2006 CiE http://dx.doi.org/10.1007/11780342_50 db/conf/cie/cie2006.html#Schwichtenberg06