An Augmented Reality System for Astronomical Observations | IEEE Conference Publication | IEEE Xplore