Rosenfeld, Ricardo. “Verificación De Programas No Determinísticos”. Revista Abierta De Informática Aplicada, vol. 6, no. 2, Dec. 2022, pp. 54-79, https://doi.org/10.59471/raia20225.