Integrating digital libraries and electronic publishing in the DART project