Congressional record, proceedings and debates of 85th Congress, 1st session, v. 103, pt. 12. Aug. 22-30, 1957. [Permanent edition.]