Enviar Registro por Correo electrónico: Formal methods :