@article{EsSt:99,
  number = {2},
  journal = {Theoret.~Comp.~Sci.},
  year = {1999},
  volume = {9},
  pages = {177-223},
  title = {Induction and recursion on the partial real line with applications to
           Real PCF.},
  author = {M. Escard\'o and T. Streicher},
}