Reference:

Javier Esparza and Kousha Etessami. Verifying probabilistic procedural programs. In Proceedings of FSTTCS 2004, volume 3328 of LNCS, Lecture Notes in Computer Science, pages 16–31, 2004.

Suggested BibTeX entry:

@inproceedings{EE04,
    author = {Javier Esparza and Kousha Etessami},
    booktitle = {Proceedings of FSTTCS 2004},
    pages = {16--31},
    series = {LNCS, Lecture Notes in Computer Science},
    title = {Verifying probabilistic procedural programs},
    volume = {3328},
    year = {2004}
}