Luna, C. D. (2006). Enseñando métodos formales con Coq.
Cita Chicago Style (17a ed.)Luna, Carlos Daniel. Enseñando Métodos Formales Con Coq. 2006.
Cita MLA (8a ed.)Luna, Carlos Daniel. Enseñando Métodos Formales Con Coq. 2006.
Precaución: Estas citas no son 100% exactas.