@article{PavlovicD:CRN1,
  author = "Dusko Pavlovic and Vaughan Pratt",
  journal = "Theor. Comp. Sci.",
  number = "1--2",
  pages = "105--122",
  title = "The continuum as a final coalgebra",
  volume = "280",
  year = "2002",
}