G. Révész, “Dual pushdown automata and context sensitive grammars”, Acta Cybern, vol. 1, no. 3, pp. 147-151, Jan. 1972.