@article{PavlovicD:CRN,
  author = "Dusko Pavlovic and Vaughan Pratt",
  journal = "E. Notes in Theor. Comp. Sci.",
  pages = "133--148",
  title = "On coalgebra of real numbers",
  url = "http://www.elsevier.nl/locate/entcs",
  volume = "19",
  year = "1999",
}