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