Prevention of major disasters in coal mines, hearings, 82d Congress, 2d session, on H. R. 7408, June 10-12, 1952, with subcommittee hearing, May 2, 1952, appended.