R. . Rosenfeld, “Verificación de Programas no Determinísticos”, Revista Abierta de Informática Aplicada, vol. 6, no. 2, pp. 54–79, Dec. 2022, doi: 10.59471/raia20225.