Gravar e-mail: Especificación de módulos con ejemplos y casos de prueba