U. S. Navy Civil Engineer Corps bulletin, v. 2, no. 20-25; July-Dec. 1948.

Tools