Jonathan Goldstine Hing Leung Detlef Wotschke Measuring Nondeterminism in Pushdown Automata. 295-306 1997 conf/stacs/1997 STACS db/conf/stacs/stacs97.html#GoldstineLW97 http://dx.doi.org/10.1007/BFb0023467