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