BuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, no. 1 and 2; Mar. and Apr. 1949.

Tools