U. S. Navy Civil Engineer Corps bulletin, Jan.-June 1950; v. 4, no. 38-43.

Tools