Zaslat záznam e-mailem: La especificación formal en contexto: actual y futuro