Reference:

Tomáš Brádzil, Antonín Kučera, and Javier Esparza. Analysis and prediction of the long-run behaviour of probabilistic sequential programs with recursion. In Proceedings of FOCS 2005, pages 521–530, 2005.

Suggested BibTeX entry:

@inproceedings{BEK05,
    author = {Tom\'a\v{s} Br\'adzil and Anton\'{\i}n Ku\v{c}era and Javier Esparza},
    booktitle = {Proceedings of FOCS 2005},
    pages = {521--530},
    title = {Analysis and Prediction of the Long-run Behaviour of Probabilistic Sequential Programs with Recursion},
    year = {2005}
}