Government publications. List of selected United States Government publications. July 1-Dec. 15, 1945.