publicações selecionadas Certified derivative based parsing of regular expressions Certified derivative-based parsing of regular expressions.
