Engineer's digest, no. 45-47; July-Aug. to Nov.-Dec. 1947.

Tools