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