Rosenfeld, Ricardo. 2022. «Introducción a La Verificación De Programas». Revista Abierta De Informática Aplicada 6 (1):79-100. http://portalreviscien.uai.edu.ar/ojs/index.php/RAIA/article/view/198.