PDF evaluation of the integer ambiguity residuals - Verhagen, S.; Teunissen, Peter (Springer, 2004)