NIKE: integrating workflow, digital library, and online catalog systems | IEEE Conference Publication | IEEE Xplore