Solsona, J. E. «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 de 2023, pp. 105-16, doi:10.36561/ING.24.8.