Cita APA (7a ed.)
AVIGAD, J., & HARRISON, J. (2014). Formally Verified Mathematics. Communications of the ACM, 57(4), 66-76.
Cita Chicago Style (17a ed.)
AVIGAD, JERMEY, y JOHN HARRISON. "Formally Verified Mathematics." Communications of the ACM 57, no. 4 (2014): 66-76.
Cita MLA (9a ed.)
AVIGAD, JERMEY, y JOHN HARRISON. "Formally Verified Mathematics." Communications of the ACM, vol. 57, no. 4, 2014, pp. 66-76.
Precaución: Estas citas no son 100% exactas.