The global positioning system : theory and applications - Parkinson, Bradford W.; Spilker, James J., Jr., 1933- (Progress in astronautics and aeronautics, 1996)