Yacc is dead
Regular-expression derivatives reexamined