BuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, Dec. 1951-Jan. 1952 to July 1952; no. 21-25.

Tools