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