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} }

This work is not available online here.