Enviar Registro por Correo electrónico: Provably Correct Systems /