A random number generator for ocean noise statistics | IEEE Journals & Magazine | IEEE Xplore