Rosenfeld, Ricardo. “Verificación De Programas No Determinísticos”. Revista Abierta de Informática Aplicada 6, no. 2 (December 27, 2022): 54–79. Accessed March 10, 2025. https://raia.revistasuai.ar/index.php/raia/article/view/5.