Technical news bulletin, July-Dec. 1952; v. 36, no. 7-12.

Tools