@incollection{Koh:cie,
  booktitle = {New Computational Paradigms. Changing Conceptions of What is
               Computable},
  year = 2008,
  publisher = {Springer Publishers},
  author = {Kohlenbach, Ulrich},
  pages = {223-258},
  title = {Effective bounds from proofs in abstract functional analysis},
  editor = {Cooper, B. and Loewe, B. and Sorbi, A.},
}