Certified Derivative-Based Parsing of Regular Expressions. - Raul Lopes 002; Rodrigo Geraldo Ribeiro; Carlos Camarão 001 (SBLP, 2016)