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 21 de noviembre de 2024];(24):105-16. Disponible en: http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146