Rosenfeld, R. «Verificación De Programas Distribuidos». Revista Abierta De Informática Aplicada, vol. 7, n.º 2, febrero de 2024, pp. 51-70, doi:10.59471/raia202387.