Probabilistic properties of GNSS integer ambiguity estimation. - Teunissen, Peter (2000)