@article{Goubault_Larrecq_2015,
    doi = {10.1016/j.jlamp.2014.09.003},
    url = {https://doi.org/10.1016%2Fj.jlamp.2014.09.003},
    year = {2015},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {84},
    number = {1},
    pages = {155--184},
    author = {Jean Goubault-Larrecq},
    title = {Full abstraction for non-deterministic and probabilistic extensions of {PCF} I: The angelic cases},
    journal = {Journal of Logical and Algebraic Methods in Programming}
}

@article{Goubault_Larrecq_2015, doi = {10.1016/j.jlamp.2014.09.003}, url = {https://doi.org/10.1016%2Fj.jlamp.2014.09.003}, year = {2015}, month = {jan}, publisher = {Elsevier {BV}}, volume = {84}, number = {1}, pages = {155--184}, author = {Jean Goubault-Larrecq}, title = {Full abstraction for non-deterministic and probabilistic extensions of {PCF} I: The angelic cases}, journal = {Journal of Logical and Algebraic Methods in Programming} }