U. S. Navy Civil Engineer Corps bulletin, July-Dec. 1949; v. 3, no. 32-37.

Tools