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