The invertible GPS ambiguity transformations - Teunissen, Peter (1995)