J. E. Solsona, «Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+», Memoria investig. ing. (Facultad Ing., Univ. Montev.), n.º 24, pp. 105–116, jun. 2023.