R. . Rosenfeld, “Verificación de Programas Paralelos”, Revista Abierta de Informática Aplicada, vol. 7, no. 1, pp. 51–77, Jun. 2023, doi: 10.59471/raia202357.