@article{Lago_2012,
    doi = {10.1051/ita/2012012},
    url = {https://doi.org/10.1051%2Fita%2F2012012},
    year = {2012},
    month = {jun},
    publisher = {{EDP} Sciences},
    volume = {46},
    number = {3},
    pages = {413--450},
    author = {Ugo Dal Lago and Margherita Zorzi},
    title = {Probabilistic operational semantics for the lambda calculus},
    journal = {{RAIRO} - Theoretical Informatics and Applications}
}

@article{Lago_2012, doi = {10.1051/ita/2012012}, url = {https://doi.org/10.1051%2Fita%2F2012012}, year = {2012}, month = {jun}, publisher = {{EDP} Sciences}, volume = {46}, number = {3}, pages = {413--450}, author = {Ugo Dal Lago and Margherita Zorzi}, title = {Probabilistic operational semantics for the lambda calculus}, journal = {{RAIRO} - Theoretical Informatics and Applications} }