U. S. Navy Civil Engineer Corps bulletin, Jan.-June 1951; v. 5, no. 50-55.

Tools