Global positioning system : theory and applications - Parkinson, Bradford W.; Spiker, James J. (Progress in astronautics and aeronautics, 163-164, 1996)