Díaz, J. R., & Baum, G. A. (2001). Verificación formal y refinamientos en P/PML.
Cita Chicago Style (17a ed.)Díaz, Javier Roberto, y Gabriel Alfredo Baum. Verificación Formal Y Refinamientos En P/PML. 2001.
Cita MLA (8a ed.)Díaz, Javier Roberto, y Gabriel Alfredo Baum. Verificación Formal Y Refinamientos En P/PML. 2001.
Precaución: Estas citas no son 100% exactas.