Gravar-mail: Construcción de representaciones innovadoras del dominio del programa para facilitar la comprensión de programas