Engineer's digest, July-Aug. to Nov.-Dec. 1950; no. 63-65.

Tools