Engineer's digest, July-Aug. to Nov.-Dec. 1951; no. 69-71.

Tools