BRÁZDIL, Tomáš,
Václav BROŽEK,
Jan HOLEČEK and
Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer, 2008, p. 230-242. ISBN 978-3-540-89438-4.