Integrating digital libraries into learning environments: the LEBONED approach | IEEE Conference Publication | IEEE Xplore