The least-squares ambiguity decorrelation adjustment: Its performance on short GPS baselines and short observation spans - Teunissen, Peter (1997)