Cita APA (7a ed.)

Martellotto, P., Novaira, M. M., Bongiovanni, M., & Luna, C. D. (2001). Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa.

Cita Chicago Style (17a ed.)

Martellotto, Paola, Maria Marta Novaira, Mónica Bongiovanni, y Carlos Daniel Luna. Teoría De Tipos Y Coq En La Enseñanza De Programación Funcional E Imperativa. 2001.

Cita MLA (8a ed.)

Martellotto, Paola, et al. Teoría De Tipos Y Coq En La Enseñanza De Programación Funcional E Imperativa. 2001.