The Autocorrelation Function Obtained from the Pierson-Moskowitz Spectrum | IEEE Conference Publication | IEEE Xplore