@article{Desharnais_2011,
    doi = {10.1016/j.scico.2010.05.007},
    url = {https://doi.org/10.1016%2Fj.scico.2010.05.007},
    year = {2011},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {76},
    number = {3},
    pages = {181--203},
    author = {Jules Desharnais and Georg Struth},
    title = {Internal axioms for domain semirings},
    journal = {Science of Computer Programming}
}

@article{Desharnais_2011, doi = {10.1016/j.scico.2010.05.007}, url = {https://doi.org/10.1016%2Fj.scico.2010.05.007}, year = {2011}, month = {mar}, publisher = {Elsevier {BV}}, volume = {76}, number = {3}, pages = {181--203}, author = {Jules Desharnais and Georg Struth}, title = {Internal axioms for domain semirings}, journal = {Science of Computer Programming} }