Solsona, J. E. (2023). Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+. Memoria Investigaciones En Ingeniería, (24), 105–116. https://doi.org/10.36561/ING.24.8