Rosenfeld, Ricardo. “Introducción a La Verificación De Programas”. Revista Abierta De Informática Aplicada, vol. 6, no. 1, July 2022, pp. 79-100, https://doi.org/10.59471/raia202211.