United States Government publications, monthly catalog, no. 648-653; Jan.-June 1949, entry 1-12842.

Tools