Catriel Beeri: Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. J. Comput. Syst. Sci. 10(3): 317-339 (1975)