On reversal complexity of auxiliary pushdown automata - Buntrock, Gerhard (1988)