Read Logic, Semigroups And Automata On Words