Engineer's digest. Mar-Apr. to July-Aug. 1954; no. 85-87.

Tools