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