Rosenfeld R. Verificación de Programas no Determinísticos. Revista Abierta de Informática Aplicada [Internet]. 2022 Dec. 27 [cited 2025 Sep. 7];6(2):54-79. Available from: https://raia.revistasuai.ar/index.php/raia/article/view/5