Enforcement of Federal mine health and safety laws, hearing before subcommittee, 93d Congress, 1st session, Oct. 31, 1973.