Satellite Navigation Processing, Errors, and Geometry door Paul D. Groves