Rosenfeld, R. . Verificación De Programas No Determinísticos. Revista Abierta de Informática Aplicada 2022, 6 (2), 54-79. https://doi.org/10.59471/raia20225.