@inproceedings{Jones,
    doi = {10.1109/lics.1989.39173},
    url = {https://doi.org/10.1109%2Flics.1989.39173},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {C. Jones and Gordon Plotkin},
    title = {A probabilistic powerdomain of evaluations},
    booktitle = {[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science}
}

@inproceedings{Jones, doi = {10.1109/lics.1989.39173}, url = {https://doi.org/10.1109%2Flics.1989.39173}, publisher = {{IEEE} Comput. Soc. Press}, author = {C. Jones and Gordon Plotkin}, title = {A probabilistic powerdomain of evaluations}, booktitle = {[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science} }