Rosenfeld, Ricardo. “Verificación De Programas Distribuidos”. Revista Abierta De Informática Aplicada, vol. 7, no. 2, Dec. 2023, pp. 51-70, https://doi.org/10.59471/raia202387.