Referência de acordo com a norma APA

Lourenço, C., Miraldo, V. C., Frade, M. J., & Pinto, J. S. (2013). SPARK-BMC: Checking SPARK code for bugs.

Referência de acordo com a norma Chicago

Lourenço, Cláudio, Victor Cacciari Miraldo, M. J. Frade, e Jorge Sousa Pinto. SPARK-BMC: Checking SPARK Code for Bugs. 2013.

Referência de acordo com a norma MLA

Lourenço, Cláudio, Victor Cacciari Miraldo, M. J. Frade, e Jorge Sousa Pinto. SPARK-BMC: Checking SPARK Code for Bugs. 2013.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero , que permite o upload automático das referências do Oasisbr.