Global positioning system theory and applications progress in astronautics and aeronautics - Parkinson, B.W Spilker, J.J (USA AIAA, 1996)