José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa. Partial Derivative Automata Formalized in Coq. In Michael Domaratzki, Kai Salomaa, editors, Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Volume 6482 of Lecture Notes in Computer Science, pages 59-68, Springer, 2010. [doi]