The probability distribution of the GPS baseline for a class of integer ambiguity estimators - Teunissen, Peter (1999)