Properties of probabilistic pushdown automata
scientific article; zbMATH DE number 1238734
scientific article