The economics of deep-sea mining with 118 tab. (Springer, 1985)