Bureau of Ships manual: chap. 95, Gaskets and packings; Feb. 26, 1944.

Tools