U. S. Navy Civil Engineer Corps bulletin, July-Dec. 1950; v. 4, no. 44-49.

Tools