Cita APA (7a ed.)
Martínez Alonso, J. C. (2000). Demostració automàtica. IEC.
Cita Chicago Style (17a ed.)
Martínez Alonso, Juan Carlos. Demostració Automàtica. IEC, 2000.
Cita MLA (9a ed.)
Martínez Alonso, Juan Carlos. Demostració Automàtica. IEC, 2000.
Precaución: Estas citas no son 100% exactas.