@article{EHS:04,
  pages = {803-814},
  title = {On the non-sequential nature of the interval-domain model of
           real-number computation},
  journal = {Math.~Struct.~Comp.~Sc.},
  number = {6},
  volume = {14},
  year = {2004},
  author = {M. Escard\'o and M. Hofmann and T. Streicher},
}