Underwater cutting and welding manual [with list of reference publications; Oct. 30, 1953].

Tools