On the Space Complexity of Turn Bounded Pushdown Automata. - Etsuro Moriya; Takemaru Tada (Int. J. Comput. Math., 2003)