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), pp. 105–116. doi: 10.36561/ING.24.8.