@article{Tix_2009,
    doi = {10.1016/j.entcs.2009.01.002},
    url = {https://doi.org/10.1016%2Fj.entcs.2009.01.002},
    year = {2009},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {222},
    pages = {3--99},
    author = {Regina Tix and Klaus Keimel and Gordon Plotkin},
    title = {Semantic Domains for Combining Probability and Non-Determinism},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Tix_2009, doi = {10.1016/j.entcs.2009.01.002}, url = {https://doi.org/10.1016%2Fj.entcs.2009.01.002}, year = {2009}, month = {feb}, publisher = {Elsevier {BV}}, volume = {222}, pages = {3--99}, author = {Regina Tix and Klaus Keimel and Gordon Plotkin}, title = {Semantic Domains for Combining Probability and Non-Determinism}, journal = {Electronic Notes in Theoretical Computer Science} }