Ocean mining - 1985 | IEEE Conference Publication | IEEE Xplore