A canonical theory for short GPS baselines, Part II: The ambiguity precision and correlation - Teunissen, Peter (1997)