Cita APA (7a ed.)

Bavera, F., Nordio, M., Medel, R., Aguirre, J., & Baum, G. A. (2005). CCMini: A prototype of certifying compiler based on annotated abstract syntax trees.

Cita Chicago Style (17a ed.)

Bavera, Francisco, Martín Nordio, Ricardo Medel, Jorge Aguirre, y Gabriel Alfredo Baum. CCMini: A Prototype of Certifying Compiler Based on Annotated Abstract Syntax Trees. 2005.

Cita MLA (8a ed.)

Bavera, Francisco, et al. CCMini: A Prototype of Certifying Compiler Based on Annotated Abstract Syntax Trees. 2005.