Fast precise GPS positioning in the presence of ionospheric delays by D. Odijk