ROSENFELD, Ricardo. Verificación de Programas no Determinísticos. Revista Abierta de Informática Aplicada, [S. l.], v. 6, n. 2, p. 54–79, 2022. DOI: 10.59471/raia20225. Disponível em: https://raia.revistasuai.ar/index.php/raia/article/view/5. Acesso em: 10 mar. 2025.