Rosenfeld, Ricardo. «Verificación De Programas Distribuidos». Revista Abierta de Informática Aplicada 7, no. 2 (febrero 12, 2024): 51–70. Accedido septiembre 8, 2024. https://raia.revistasuai.ar/index.php/raia/article/view/87.