Engineer's digest, July-Aug. to Nov.-Dec. 1952; no. 75-77.

Tools