Solsona, José E. 2023. «Sobre La especificación Y verificación Del patrón De programación Paralela PCR En TLA+». Memoria Investigaciones En Ingeniería, n.º 24 (junio):105-16. https://doi.org/10.36561/ING.24.8.