U. S. Navy Civil Engineer Corps bulletin, v. 1, no. 11 and 12; Oct. and Nov. 1947.

Tools