Engineer's digest, v. 23; Jan. 1945.

Tools