An analytical study of ambiguity decorrelation using dual frequency code and carrier phase - Teunissen, Peter (1996)