Rosenfeld, Ricardo. “Verificación De Programas Paralelos”. Revista Abierta De Informática Aplicada, vol. 7, no. 1, June 2023, pp. 51-77, https://doi.org/10.59471/raia202357.