House reports, 80th Congress. 1832. Providing further benefits for certain employees of United States who are veterans of World War II. Report from Committee on Post Office and Civil Service to accompany H. R. 4917.