Jean-Camille Birget Two-way automaton computations. 47-66 1990 24 ITA db/journals/ita/ita24.html#Birget90