Enviar Registro por Correo electrónico: Formal Methods for Mining Structured Objects /