Calendars of House of Representatives and history of legislation, 75th Congress, 3d session, final edition.