Regular-expression derivatives reexamined
The Design And Analysis Of Computer Algorithms