Augmented reality in operating microscopes for neurosurgical interventions | IEEE Conference Publication | IEEE Xplore