What's a coal miner to do? The mechanization of coal mining - Dix, Keith (Pittsburgh series in social and labor history, 1988)