Montero Mejia, E. C., & Hanna, O. (1985). Logica de hoare para programas concurrentes.
Cita Chicago Style (17a ed.)Montero Mejia, Emma Ceclia, y Oktaba Hanna. Logica De Hoare Para Programas Concurrentes. 1985.
Cita MLA (8a ed.)Montero Mejia, Emma Ceclia, y Oktaba Hanna. Logica De Hoare Para Programas Concurrentes. 1985.
Precaución: Estas citas no son 100% exactas.