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