U. S. Navy Civil Engineer Corps bulletin, v. 2, no. 14-19; Jan.-June 1948.

Tools