United States Government publications, monthly catalog, July-Dec. 1949; no. 654-659, entry 12843-26370.

Tools