Global positioning system : theory and practice - Hofmann-Wellenhof, Bernhard. (Springer-Verlag, 1993)