@article{tkp:05,
  journal = {{Electronic Notes in Theoretical Computer Science}},
  volume = 222,
  year = 2009,
  pages = {1--99},
  title = {Semantic Domains for Combining Probability and Non-determinism
           (updated)},
  author = {Tix, Regina and Keimel, Klaus and Plotkin, Gordon D.},
}