Processing of phase-shift keyed pseudo noise signals of underwater acoustic systems with the Doppler effect | IEEE Conference Publication | IEEE Xplore