U. S. Navy Civil Engineer Corps bulletin, v. 1, no. 8-10; July-Sept. 1947.

Tools