Engineer's digest, no. 29-34, July-Dec. 1945.

Tools