@article{Kei:04,
  author = {Keimel, Klaus},
  title = {The probabilistic powerdomain for the upwards topology of a compact
           ordered space},
  pages = {225--238},
  year = 2004,
  volume = 87,
  journal = {Electronic Notes in Theoretical Computer Science},
}