Power from sea waves based on the proceedings of a Conference ... held at the Univ. of Edinburgh from June 26 - 28, 1979 (Institute of Mathematics and its Applications conference series., 1980)