Global Positioning System: Signals, Measurements and Performance, 2nd edition,
Misra, P., P. Enge (2006),
569 pp.