BRÁZDIL, Tomáš a
Antonín KUČERA. Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. Online. In
25th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin Heidelberg New York: Springer. s. 372-383. ISBN 3-540-30495-9