劳工权益, 历史文件, 国际劳工, 工作时间, 煤矿1935年工作时间（煤矿）公约（修订本） (Hours of Work (Coal Mines) Convention (Revised), 1935)公约, 劳动保护, 国际劳工组织, 工作条件, 煤矿工人
劳动法, 劳工权益, 国际公约, 国际劳工组织, 煤矿1931年工时（煤矿）公约 (Hours of Work (Coal Mines) Convention, 1931)劳动保护, 国际公约, 国际劳工组织, 工时, 煤矿工人