Rosenfeld, Ricardo. “Introducción a La Verificación De Programas”. Revista Abierta de Informática Aplicada 6, no. 1 (July 26, 2022): 79–100. Accessed September 30, 2025. https://raia.revistasuai.ar/index.php/raia/article/view/11.