Manipulation of Extended Regular Expressions with Derivatives - Rafaela Carolina Ribeiro Bastos (2015)