BuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, May-June to Oct.-Nov. 1949; no. 3-6.

Tools