U. S. Navy Civil Engineer Corps bulletin, v. 1, no. 13; Dec. 1947.

Tools