Calendars of House of Representatives and history of legislation, 82d Congress, 2d session, June 2-Aug. 1, 1952; no. 86 to 111-3.