Manual of Bureau of Yards and Docks, Navy Department, pertaining to public works and public utilities of Navy, 1941.