Gravity-wave-induced pressure fluctuations in the deep ocean | IEEE Journals & Magazine | IEEE Xplore