Almeida JB, Moreira N, Pereira D, Sousa SM.? 2010.??Partial Derivative Automata Formalized in Coq. 15th International Conference on Implementation and Application of Automata - CIAA - Revised Selected Papers . :59-68.