Engineer's digest, Jan.-Feb. to May-June 1952; no. 72-74.

Tools