BuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, Jan.-Feb. to May 1951; no. 15-17.

Tools