GNSS algebraic structures - Lannes, A.; Teunissen, Peter (Springer, 2011)