Holger Petersen: A Note on Pushdown Automata Systems. DCFS 2014: 342-351