Collaborative use of mobile augmented reality with paper maps