Regulated nondeterminism in pushdown automata. - Martin Kutrib; Andreas Malcher; Larissa Werlein (Theor. Comput. Sci., 2009)