Looking back: a history of marine seismic exploration | IEEE Journals & Magazine | IEEE Xplore