Straubing, n.d.. Algebraic Characterization of the Alternation Hierarchy in F O 2 [<] on Finite Words *.