Ionospheric measurement with GPS: Receiver techniques and methods | AGU Journals & Magazine | IEEE Xplore