Cita APA (7a ed.)

Zúñiga Chávez, Á. F., Hernández Quiroz, F., & Miranda Perea, F. E. (2016). Un compilador correcto verificado de mini-ml a la máquina SECD en Coq. MX.

Cita Chicago Style (17a ed.)

Zúñiga Chávez, Ángel Francisco, Francisco Hernández Quiroz, y Favio Ezequiel Miranda Perea. Un Compilador Correcto Verificado De Mini-ml a La Máquina SECD En Coq. MX, 2016.

Cita MLA (8a ed.)

Zúñiga Chávez, Ángel Francisco, et al. Un Compilador Correcto Verificado De Mini-ml a La Máquina SECD En Coq. MX, 2016.