Dual frequency correlation radar measurements of the height statistics of ocean waves | IEEE Journals & Magazine | IEEE Xplore