U. S. Navy Civil Engineer Corps bulletin, Jan.-July 1952; v. 6, no. 1-7.

Tools