BuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, June-July to Oct-Nov. 1951; no. 18-20.

Tools