Rosenfeld, Ricardo. “Verificación De Programas Paralelos”. Revista Abierta de Informática Aplicada 7, no. 1 (June 30, 2023): 51–77. Accessed December 4, 2024. https://raia.revistasuai.ar/index.php/raia/article/view/57.