Rosenfeld, Ricardo. “Verificación De Programas Distribuidos”. Revista Abierta de Informática Aplicada 7, no. 2 (December 27, 2023): 51–70. Accessed January 18, 2025. https://raia.revistasuai.ar/index.php/raia/article/view/87.