U. S. Navy Civil Engineer Corps bulletin, July-Dec. 1951; v. 5, no. 56-61.

Tools