Engineer's digest, no. 48-50; Jan.-Feb. to May-June 1948.

Tools