U. S. Navy Civil Engineer Corps bulletin, v. 3, no. 26-31; Jan.-June 1949.

Tools