Etienne Grandjean Thomas Schwentick Machine-Independent Characterizations and Complete Problems for Deterministic Linear Time. 196-230 2002 32 SIAM J. Comput. 1 http://epubs.siam.org/sam-bin/dbq/article/36024 db/journals/siamcomp/siamcomp32.html#GrandjeanS02