@ARTICLE{Hau77, author = {Hauck, J\"urgen}, title = {Zum {Z}wischenwertsatz in der konstruktiven {A}nalysis}, journal = {Wissenschaftliche Zeitschrift der Humboldt-Universit\"at zu Berlin Math.-Nat. R.}, year = {1977}, volume = {26}, pages = {623--627}, number = {5}, keywords = {bib,cca} }