BuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, July-Aug. to Nov.-Dec. 1950; no. 11-14.

Tools