R. . Rosenfeld, “Verificación de Programas Distribuidos”, Revista Abierta de Informática Aplicada, vol. 7, no. 2, pp. 51–70, Dec. 2023, doi: 10.59471/raia202387.