Graving drydocks. (Dept. of the Navy, Naval Facilities Engineering Command,, 1982)