Project Patron: exploiting a digital library for the performing arts | IEEE Conference Publication | IEEE Xplore