Roman R. Redziejowski Construction of a deterministic -automaton using derivatives. 133-158 1999 33 ITA 2 db/journals/ita/ita33.html#Redziejowski99