BuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, Aug.-Dec. 1952; no. 26-30.

Tools