United States Government publications, monthly catalog, no. 636-640; Jan.-May 1948.

Tools