publicações selecionadas artigo académico Partial derivative automata formalized in coq. Computational Methods in Applied Sciences. 2011