Solsona JE. Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+. Memoria investig. ing. (Facultad Ing., Univ. Montev.) [Internet]. 30 de junio de 2023 [citado 22 de julio de 2024];(24):105-16. Disponible en: https://revistas.um.edu.uy/index.php/ingenieria/article/view/1146