@article{Chadha_2007,
    doi = {10.1016/j.tcs.2007.02.040},
    url = {https://doi.org/10.1016%2Fj.tcs.2007.02.040},
    year = {2007},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {379},
    number = {1-2},
    pages = {142--165},
    author = {R. Chadha and L. Cruz-Filipe and P. Mateus and A. Sernadas},
    title = {Reasoning about probabilistic sequential programs},
    journal = {Theoretical Computer Science}
}

@article{Chadha_2007, doi = {10.1016/j.tcs.2007.02.040}, url = {https://doi.org/10.1016%2Fj.tcs.2007.02.040}, year = {2007}, month = {jun}, publisher = {Elsevier {BV}}, volume = {379}, number = {1-2}, pages = {142--165}, author = {R. Chadha and L. Cruz-Filipe and P. Mateus and A. Sernadas}, title = {Reasoning about probabilistic sequential programs}, journal = {Theoretical Computer Science} }