Augmenting user interfaces for digital libraries with virtual reality | IEEE Conference Publication | IEEE Xplore