Christian Herzog Pushdown Automata with Bounded Nondeterminism and Bounded Anbiguity. 358-370 1995 conf/latin/1995 LATIN db/conf/latin/latin95.html#Herzog95