@inproceedings{MetricSpaces,
  author = "A. W. Roscoe and G.M. Reed",
  booktitle = "{Proceedings of the Third Workshop on the Mathematical Foundations of Programming Language Semantics (New Orleans, 1987)}",
  editor = "Main et al",
  number = "298",
  pages = "331--343",
  publisher = "Springer",
  series = "LNCS",
  title = "Metric spaces as models for real-time concurrency",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/19.pdf",
  year = "1988",
}