Oops, sorry, hit the send button too soon. Another nice book on GPS signal processing is the one by James Tsui, _Fundamentals of Global Positioning Receivers: A Software Approach_. I learned a lot from it. Cheers, Peter