Synchronization of Pushdown Automata | doi.page