@inproceedings{Koh:01c,
  title = {On the computational content of the Krasnoselski and Ishikawa fixed
           point theorems},
  pages = {119-145},
  editor = {Blanck, J. and Brattka, V. and Hertling, P.},
  author = {Kohlenbach, Ulrich},
  publisher = {Spinger Lecture Notes in Computer Science LNCS 2064},
  year = 2001,
  booktitle = {Proc. of the Fourth Workshop on Computability and Complexity in
               Analysis},
}