@inproceedings{KohLeuL:06a,
  title = {Approximate fixed points of nonexpansive functions in product
           spaces},
  year = 2006,
  booktitle = {Mathematics, Algorithms, Proofs},
  editor = {Thierry Coquand and Henri Lombardi and Marie-Fran{\c{c}}oise Roy},
  number = 05021,
  publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss
               Dagstuhl, Germany},
  author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
  note = {$<$http://drops.dagstuhl.de/opus/volltexte/2006/433$>$ [date of
          citation: 2006-01-01]},
  series = {Dagstuhl Seminar Proceedings},
}