@article{KohLeu:12b,
  pages = {3449--3463},
  title = {On the computational content of convergence proofs via {B}anach
           limitd.},
  journal = {Philosophical Transactions of the Royal Society A},
  author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
  volume = 370,
  year = 2012,
}