"Partially-Ordered Two-Way Automata: A New Characterization of DA."

Thomas Schwentick, Denis Thérien, Heribert Vollmer (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics