Power from Sea Waves Based on the Proceedings of a Conference on Power from Sea Waves, Organised by the Institute of Mathematics and Its Applications, and Held at the University of Edinburgh from June 26-28, 1979