Rosenfeld, R. 2022. Introducción a la Verificación de Programas . Revista Abierta de Informática Aplicada. 6, 1 (jul. 2022), 79–100.