APA (7th ed.) Citation

Almeida, J. B., Moreira, N., Pereira, D., & Sousa, S. M. d. (2011). Partial derivative automata formalized in Coq.

Chicago Style (17th ed.) Citation

Almeida, José Bacelar, Nelma Moreira, David Pereira, and Simão Melo de Sousa. Partial Derivative Automata Formalized in Coq. 2011.

MLA (8th ed.) Citation

Almeida, José Bacelar, et al. Partial Derivative Automata Formalized in Coq. 2011.