Pushdown automata with bounded nondeterminism and bounded ambiguity
scientific article; zbMATH DE number 1177893