Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.