Martin Kutrib Andreas Malcher Larissa Werlein Regulated Nondeterminism in Pushdown Automata. 85-96 2007 conf/wia/2007 CIAA http://dx.doi.org/10.1007/978-3-540-76336-9_10 db/conf/wia/ciaa2007.html#KutribMW07