Ulrich Kohlenbach On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. 119-145 2000 conf/cca/2000 CCA http://link.springer.de/link/service/series/0558/bibs/2064/20640119.htm db/conf/cca/cca2000.html#Kohlenbach00