Franz-Josef Brandenburg On one-way auxiliary pushdown automata. 132-144 1977 conf/tcs/1977 Theoretical Computer Science db/conf/tcs/tcs1977.html#Brandenburg77