Underwater vehicle operated inspection, maintenance and repair techniques : proceedings of a one-day seminar, London, Thursday, November 20, 1980.