Engineer's digest, no. 51-53; July-Aug. to Nov.-Dec. 1948.

Tools