DuDocks technical digest, construction, maintenance & operation of Navy's shore establishments, Dec. 1949-Jan. 1950 to June 1950. no. 7-10.